Automatic Verification Methods for Finite State Systems Proceedings, International Workshop, France, 1989
Material type:
TextSeries: Lecture notes in computer science ; 407Publication details: Berlin; Springer Verlag; 1990Description: 382pISBN: - 3540521488
BOOKS
| Home library | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | 681 LNCS (Browse shelf(Opens below)) | 1 | Available | 34865 | |||
| IMSc Library | 681 LNCS (Browse shelf(Opens below)) | 2 | Available | 54431 |
There are no comments on this title.
Log in to your account to post a comment.