Cover image for Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Title:
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Author:
Yoeli, Michael, 1917-
ISBN:
9780470253397

9780470253410
Publication Information:
Hoboken, N.J. : Wiley-Interscience, c2008.
Physical Description:
1 online resource (xv, 231 p.) : ill.
Series:
Wiley series on parallel and distributed computing
Series Title:
Wiley series on parallel and distributed computing
Added Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 297616-1001 ONLINE
Searching...

On Order