You are about to access our book library "Verification of Systems and Circuits Using Lotos, Petri Nets, and CCS full version" .