Partial bisimulation

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

Research output: Book/ReportReportAcademic

LanguageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages26
StatePublished - 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). Eindhoven: Technische Universiteit Eindhoven.
Baeten, J.C.M. ; Beek, van, D.A. ; Luttik, S.P. ; Markovski, J. ; Rooda, J.E./ Partial bisimulation. Eindhoven : Technische Universiteit Eindhoven, 2010. 26 p. (SE report).
@book{b0ec042cdcfd48728b284125f08a8f60,
title = "Partial bisimulation",
author = "J.C.M. Baeten and {Beek, van}, D.A. and S.P. Luttik and J. Markovski and J.E. Rooda",
year = "2010",
language = "English",
series = "SE report",
publisher = "Technische Universiteit Eindhoven",

}

Baeten, JCM, Beek, van, DA, Luttik, SP, Markovski, J & Rooda, JE 2010, Partial bisimulation. SE report, vol. 2010-04, Technische Universiteit Eindhoven, Eindhoven.

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

Eindhoven : Technische Universiteit Eindhoven, 2010. 26 p. (SE report; Vol. 2010-04).

Research output: Book/ReportReportAcademic

TY - BOOK

T1 - Partial bisimulation

AU - Baeten,J.C.M.

AU - Beek, van,D.A.

AU - Luttik,S.P.

AU - Markovski,J.

AU - Rooda,J.E.

PY - 2010

Y1 - 2010

M3 - Report

T3 - SE report

BT - Partial bisimulation

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Baeten JCM, Beek, van DA, Luttik SP, Markovski J, Rooda JE. Partial bisimulation. Eindhoven: Technische Universiteit Eindhoven, 2010. 26 p. (SE report).