Formalization and verification of event-driven process chains

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	639-650
Journal	Information and Software Technology
Volume	41
Issue number	10
DOIs	https://doi.org/10.1016/S0950-5849(99)00016-6
Publication status	Published - 1999

Access to Document

@article{534abe7601154596a4cac506ddf746a2,

title = "Formalization and verification of event-driven process chains",

author = "\{Aalst, van der\}, W.M.P.",

year = "1999",

doi = "10.1016/S0950-5849(99)00016-6",

language = "English",

volume = "41",

pages = "639--650",

journal = "Information and Software Technology",

issn = "0950-5849",

publisher = "Elsevier B.V.",

number = "10",

}