Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCSeBookVerification of Systems and Circuits Using LOTOS, Petri Nets, and CCSkaryaMichael YoeliPenilaian: 0 dari 5 bintang0 penilaianSimpan Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS untuk nanti