Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS, , Wiley, Michael Yoeli, Rakefet Kol,Computer science,Computing and Information Technology, guide; stepbystep; practical book; digital; interactive; verification; introduction; formal; powerful; application; cadp; book; theoretical background; toolsets; three; lotosbased; offers; circuits; asynchronous; modular,, Wiley Series on Parallel and Distributed Computing, United States, en-UShttps://www.wiley.comguide; stepbystep; practical book; digital; interactive; verification; introduction; formal; powerful; application; cadp; book; theoretical background; toolsets; three; lotosbased; offers; circuits; asynchronous; modular, [BLURB],[CITY],,books, ebooks, biblet, Book2look