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 Gregorio Rodríguez, Carlos (2005) Bisimulations Up-to for the Linear Time Branching Time Spectrum. In CONCUR 2005 – Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings. Lecture notes in computer science (3653). Springer, pp. 278-292. ISBN 978-3-540-28309-6

This list was generated on Mon Oct 26 17:23:55 2020 CET.