Partial bisimulation

J.C.M. Baeten, D.A. Beek, van, S.P. Luttik, J. Markovski, J.E. Rooda

Onderzoeksoutput: Boek/rapportRapportAcademic

33 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's26
StatusGepubliceerd - 2010

Publicatie series

NaamSE report
Volume2010-04
ISSN van geprinte versie1872-1567

Citeer dit

Baeten, J. C. M., Beek, van, D. A., Luttik, S. P., Markovski, J., & Rooda, J. E. (2010). Partial bisimulation. (SE report; Vol. 2010-04). Technische Universiteit Eindhoven.