Formalizing and validating behavioral models through the event calculus

  1. Diaz, O.
  2. Paton, N.W.
  3. Iturrioz, J.
Aldizkaria:
Information Systems

ISSN: 0306-4379

Argitalpen urtea: 1998

Alea: 23

Zenbakia: 3-4

Orrialdeak: 179-196

Mota: Artikulua

GOOGLE SCHOLAR
Datuen iturria: Scopus