Publicaciones en las que colabora con Norman W. Paton (1)

1998

  1. Formalizing and validating behavioral models through the event calculus

    Information Systems, Vol. 23, Núm. 3-4, pp. 179-196