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.

Aceto, Luca and Fábregas, Ignacio and Frutos Escrig, David de and Ingolfsdottir, Anna and Palomino, Miguel (2012) Relating modal refinements, covariant-contravariant simulations and partial bisimulations. In Fundamentals of Software Engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers. Lecture notes in computer science (7141). Springer, pp. 268-283. ISBN 978-3-642-29319-1

This list was generated on Thu Dec 3 11:36:15 2020 CET.