Original language | English |
---|---|
Title of host publication | Tools and Algorithms for the Construction and Analysis of Systems |
Number of pages | 15 |
Publisher | Springer |
Publication date | 2001 |
Pages | 174-188 |
ISBN (Print) | 9783540418658 |
Publication status | Published - 2001 |
Event | Tools and Algorithms for the Construction and Analysis of Systems - Genova, Italy Duration: 19 May 2010 → … Conference number: 7 |
Conference
Conference | Tools and Algorithms for the Construction and Analysis of Systems |
---|---|
Number | 7 |
Country/Territory | Italy |
City | Genova |
Period | 19/05/2010 → … |