Universidad Complutense de Madrid
E-Prints Complutense

IndexAuthor

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 Fri Oct 18 14:50:58 2019 CEST.