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 Fri Dec 4 00:46:36 2020 CET.