Normal view
MARC view
Petri nets (Topical Term)
Machine generated authority record.
Work cat.: (NEDUET)500512: Yoeli, Michael, 1917- 274320, Verification of systems and circuits using LOTOS, Petri Nets, and CCS, c2008.