Title: Verification of systems and circuits using LOTOS, Petri Nets, and CCS
First published: 2008
Subjects: Verification, Petri nets, Computer software, LOTOS (Computer program language), Integrated circuits, Software engineering, Computers, Technology & Industrial Arts, Computer Books: General, Electronics - Circuits - General, Computers / Computer Engineering, Computer Engineering, Parallel programming (computer science), Electronic data processing, distributed processing
LC classification: TK7874.58 .Y64 2008