Verification of systems and circuits using LOTOS, Petri Nets, and CCS
By: Michael Yoeli & Rakefet Kol.
Contributors: Kol, Rakefet.
Series: Wiley series on parallel and distributed computing
Publisher: John Wiley & Sons
Published: 2008
Place of publication: Hoboken, N.J
Language: eng
ISBN-13: 9780471704492
Subjects: Integrated circuits -- Verification; Computer software -- Verification; LOTOS (Computer program language); Petri nets
Notes: Includes index.