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: 2.

Frutos Escrig, David de and Valero Ruiz, Valentín and Marroquín Alonso, Olga (2000) Decidability of properties of timed-arc Petri nets. In Application and Theory of Petri Nets 2000 : 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings. Lecture notes in computer science (1825). Springer, pp. 187-206. ISBN 978-3-540-67693-5

Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Palomino, Miguel (2009) On the unification of process semantics: observational semantics. In SOFSEM 2009: Theory and Practice of Computer Science : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Lecture notes in computer science (5404). Springer, pp. 279-290. ISBN 978-3-540-95890-1

This list was generated on Tue May 21 01:28:48 2019 CEST.