Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCSeBookVerification of Systems and Circuits Using LOTOS, Petri Nets, and CCSvonMichael YoeliBewertung: 0 von 5 Sternen0 BewertungenVerification of Systems and Circuits Using LOTOS, Petri Nets, and CCS für später speichern