Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
-
inbunden
,
Engelska, 2008