Decidability of properties of timed-arc Petri nets

  1. Frutos Escrig, David de
  2. Marroquín Alonso, Olga
  3. Valero Ruiz, Valentín
Llibre:
Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000
  1. Cazorla López, Diego (coord.)

Editorial: Universidad de Castilla-La Mancha

ISBN: 84-8427-074-2

Any de publicació: 2000

Pàgines: 13-34

Congrés: Jornadas de Concurrencia (8. 2000. Cuenca)

Tipus: Aportació congrés

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet