Computer Aided Verification: 8th International Conference, Cav '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
by:
R. Alur (author)
R. Alur (author)
Rajeev Alur (author)
Format: paperback
ISBN:
9783540614746 (3540614745)
Publish date: July 17th 1996
Publisher: Springer
Pages no: 479
Edition language: English