Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCSEbookVerification of Systems and Circuits Using LOTOS, Petri Nets, and CCSbyMichael YoeliRating: 0 out of 5 stars0 ratingsSave Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS for later