Computer-aided verification of coordinating processes: The automata-theoretic approach
By: Kurshan, R. P.
Material type: BookSeries: Princeton series in computer science.Publisher: Princeton; New Jersey Princeton University Press 1994Description: xii, 270p.ISBN: 0-691-03436-2.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
670.42 KUR (Browse shelf) | Available | 503959 |
There are no comments for this item.