Formalizing and validating behavioral models through the event calculus
- Diaz, O.
- Paton, N.W.
- Iturrioz, J.
ISSN: 0306-4379
Year of publication: 1998
Volume: 23
Issue: 3-4
Pages: 179-196
Type: Article
ISSN: 0306-4379
Year of publication: 1998
Volume: 23
Issue: 3-4
Pages: 179-196
Type: Article