Original language | English |
---|---|
Title of host publication | Proceedings Infinity'97 (Second International Workshop on Verification of Infinite State Systems, Bologna, Italy, July 11-12, 1997) |
Editors | F. Moller |
Pages | 26- |
DOIs | |
Publication status | Published - 1997 |
Publication series
Name | Electronic Notes in Theoretical Computer Science |
---|---|
Volume | 9 |
ISSN (Print) | 1571-0061 |