Formalizing and validating behavioral models through the event calculus

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

ISSN: 0306-4379

Datum der Publikation: 1998

Ausgabe: 23

Nummer: 3-4

Seiten: 179-196

Art: Artikel

GOOGLE SCHOLAR
Datenquelle: Scopus