Formalization and verification of event-driven process chains

Research output: Contribution to journalArticleAcademicpeer-review

402 Citations (Scopus)
Original languageEnglish
Pages (from-to)639-650
JournalInformation and Software Technology
Volume41
Issue number10
DOIs
Publication statusPublished - 1999

Cite this