Model-checking processes with data

Research output: Contribution to journalArticleAcademicpeer-review

37 Citations (Scopus)
Original languageEnglish
Pages (from-to)251-273
JournalScience of Computer Programming
Volume56
Issue number3
DOIs
Publication statusPublished - 2005

Cite this