Partial bisimulation

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

Research output: Book/ReportReportAcademic

33 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages26
Publication statusPublished - 2010

Publication series

NameSE report
Volume2010-04
ISSN (Print)1872-1567

Cite this

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.