Enviar aquest missatge de text: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS