Partial bisimulation

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

Onderzoeksoutput: Boek/rapportRapportAcademic

96 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