Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCSMichael ) Yoeli, Rakefet ) KolInnbundetEngelskDel av serien Wiley Series on Parallel and Distributed ComputingLegg i handlekurvNettlager
