Original language | English |
---|---|
Place of Publication | Berlin, Heidelberg |
Publisher | Springer |
Number of pages | 289 |
ISBN (Electronic) | 978-3-540-48509-4 |
ISBN (Print) | 978-3-540-60630-7 |
DOIs | |
Publication status | Published - 1995 |
Event | 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1995 - Aarhus, Denmark Duration: 19 May 1995 → 20 May 1995 Conference number: 1 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 1019 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |