Verifying generalized soundness for workflow nets

K.M. Hee, van, O.I. Oanea, N. Sidorova, M. Voorhoeve

Onderzoeksoutput: Boek/rapportRapportAcademic

141 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's10
StatusGepubliceerd - 2006

Publicatie series

NaamComputer science reports
Volume0608
ISSN van geprinte versie0926-4515

Citeer dit