Normal view
MARC view
Casavant, Thomas L (Personal Name)
Machine generated authority record
Work cat.: (NEDUET)749986: Papelis, Yiannis E. 790997, Specification and Analysis of Paraliel/Distributed Sofware and Systems by Petri Nets with Transition Enabling Functions