Formalizing and validating behavioral models through the event calculus
- Diaz, O.
- Paton, N.W.
- Iturrioz, J.
ISSN: 0306-4379
Año de publicación: 1998
Volumen: 23
Número: 3-4
Páginas: 179-196
Tipo: Artículo
ISSN: 0306-4379
Año de publicación: 1998
Volumen: 23
Número: 3-4
Páginas: 179-196
Tipo: Artículo