On Practical Verification of Processes

H. van Rein

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Proc. of the ECOOP'2000 Workshop on Object Interoperab.
Place of Publication	Nice, France
Pages	25-32
Publication status	Published - 17 Feb 2000

Keywords

@inproceedings{605459f83a9d4dd18ad70a5e2b4bf435,

title = "On Practical Verification of Processes",

keywords = "METIS-119430",

author = "{van Rein}, H.",

year = "2000",

month = feb,

day = "17",

language = "Undefined",

isbn = "3-540-41513-0",

pages = "25--32",

booktitle = "Proc. of the ECOOP'2000 Workshop on Object Interoperab.",

}