Formalization and verification of event-driven process chains

W.M.P. Aalst, van der

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

Originele taal-2	Engels
Pagina's (van-tot)	639-650
Tijdschrift	Information and Software Technology
Volume	41
Nummer van het tijdschrift	10
DOI's	https://doi.org/10.1016/S0950-5849(99)00016-6
Status	Gepubliceerd - 1999

Toegang tot 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",

number = "10",

}