Universidad Complutense de Madrid
E-Prints Complutense


Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 1.

Frutos Escrig, David de and Keiren, J.J.A. and Willemse, T.A.C. (2016) Branching bisimulation games. In Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science (9688). Springer Verlag, pp. 142-157. ISBN 978-331939569-2

This list was generated on Tue Oct 20 13:50:11 2020 CEST.