IndexAuthor

Number of items: 1.

Fábregas, Ignacio and Frutos Escrig, David de (2010) Logics for contravariant simulations. In Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Lecture notes in computer science (6117). Springer, pp. 224-231. ISBN 978-3-642-13463-0

This list was generated on Wed Jul 28 02:55:46 2021 CEST.