Publications in collaboration with researchers from University of Manchester (1)

1998

  1. Formalizing and validating behavioral models through the event calculus

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