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
9786611284671
Personal Author:
Publication Information:
Hoboken, N.J. : Wiley-Interscience, ©2008.
Physical Description:
1 online resource (xv, 231 pages) : illustrations
Series:
Wiley series on parallel and distributed computing
Wiley series on parallel and distributed computing.
Local Note:
O'Reilly
Subject Term:
Added Author:
Holds: Copies: