IndexAuthor

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 Sun Dec 5 02:48:19 2021 CET.