Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCSCărți electroniceVerification of Systems and Circuits Using LOTOS, Petri Nets, and CCSdinMichael YoeliEvaluare: 0 din 5 stele0 evaluăriSalvați Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS pentru mai târziu