Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCSE-bookVerification of Systems and Circuits Using LOTOS, Petri Nets, and CCSdiMichael YoeliValutazione: 0 su 5 stelle0 valutazioniSalva Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS per dopo