Computer-Aided Verification of Coordinating Processes Automata-Theoretic Approach
Material type: TextSeries: Princeton Series in Computer SciencePublication details: Princeton ; PUP ; 1994Description: 270pISBN: 0 691 03436 2Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3.06 KUR (Browse shelf (Opens below)) | Available | 35893 |
There are no comments on this title.