Title:
Automatic verification methods for finite stste systems : International workshop, Grenoble, France, June 1989: Proceedings.
ISBN:
9783540521488
Publication Information:
Berlin : Springer, 1990.
Physical Description:
383 s.
Series:
Lecture Notes in Computer Science ; vol. 407
Series Title:
Lecture Notes in Computer Science ; vol. 407
Subject Term:
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | Book | 7.2/12/593452 | TK 5105.5 A97 1990 | Searching... | Searching... |