Original language | English |
---|---|
Publication status | Published - 1 Jan 2008 |
Event | 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 29-Apr 06, 2008. Budapest, Hungary - Duration: 1 Jan 2008 → … |
Conference
Conference | 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 29-Apr 06, 2008. Budapest, Hungary |
---|---|
Period | 1/01/08 → … |