TU/e

Partial bisimulation

Reports And Master Theses

Baeten, J.C.M., Beek, D.A. van, Luttik, S.P., Markovski, J. & Rooda, J.E. (2010). Partial bisimulation. (External Report, SE reports, No. 2010-04). Eindhoven: Technische Universiteit Eindhoven, 26 pp.

Read more: Medialink/Full text

Abstract