Abstract
No abstract.
Original language | English |
---|---|
Place of Publication | Berlin |
Publisher | Springer |
Number of pages | 300 |
ISBN (Electronic) | 9783540733706 |
ISBN (Print) | 978-3-540-73369-0 |
DOIs | |
Publication status | Published - 2007 |
Publication series
Name | Lecture notes in computer science |
---|---|
Volume | 4595 |
ISSN (Print) | 0302-9743 |
Name | Model checking software : international SPIN workshop |
---|---|
Volume | 14 |