Model-checking processes with data

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

Original language	English
Pages (from-to)	251-273
Journal	Science of Computer Programming
Volume	56
Issue number	3
DOIs	https://doi.org/10.1016/j.scico.2004.08.002
Publication status	Published - 2005

Access to Document

@article{0e5a5061db084c8b9fb8128c2b1873f1,

title = "Model-checking processes with data",

author = "J.F. Groote and T.A.C. Willemse",

year = "2005",

doi = "10.1016/j.scico.2004.08.002",

language = "English",

volume = "56",

pages = "251--273",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "3",

}