JUAN IGNACIO
ITURRIOZ SANCHEZ
PROFESORADO TITULAR DE UNIVERSIDAD
Norman W.
Paton
Publicaciones en las que colabora con Norman W. Paton (1)
1998
-
Formalizing and validating behavioral models through the event calculus
Information Systems, Vol. 23, Núm. 3-4, pp. 179-196