Normal view
MARC view
Pezze, Mauro (Personal Name)
Machine generated authority record
Work cat.: (NEDUET)750050: Ghezzi, Carlo 142040, A Unified High-Level Petri Net Formalism for Time-Critical Systems