Title:
Verification of systems and circuits using LOTOS, petri nets, and CCS
Personal Author:
Series:
Wiley series on parallel and distributed computing
Publication Information:
Hoboken, NJ : John Wiley & Sons, 2008
Physical Description:
xv, 231 p. : ill. ; 24 cm.
ISBN:
9780471704492
Added Author:
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
|---|---|---|---|---|---|
Searching... | 30000010189911 | TK7874.58 Y63 2008 | Open Access Book | Book | Searching... |
Searching... | 30000010191412 | TK7874.58 Y63 2008 | Open Access Book | Book | Searching... |
