Modelling and Ada implementation of Real -Time Systems using Time Petri Nets
- Villarroel Salcedo, Luis
- García Izquierdo, Francisco José
Editorial: PERGAMON- Elsevier Science
ISBN: 0-08-042614-X
Any de publicació: 1997
Pàgines: 127-132
Tipus: Capítol de llibre