Feasibility of model checking in the context of business processes using amber and spin

W. Janssen, S. Mauw, J. Springintveld

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Originele taal-2Engels
UitgeverijTelematica Research Centre
Aantal pagina's14
StatusGepubliceerd - 1997

Publicatie series

NaamTestbed/wp4/n011/v001

Citeer dit