Model checking embedded system designs

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

Original language	English
Title of host publication	Proceedings 6th International Workshop on Discrete Event Systems (WODES'02, Zaragoza, Spain, October 2-4, 2002)
Publisher	IEEE Computer Society
Pages	151-158
DOIs	https://doi.org/10.1109/WODES.2002.1167682
Publication status	Published - 2002

Access to Document

@inproceedings{4e044b1ab33440fdad0779f5866b994c,

title = "Model checking embedded system designs",

author = "E. Brinksma and A.H. Mader",

year = "2002",

doi = "10.1109/WODES.2002.1167682",

language = "English",

pages = "151--158",

booktitle = "Proceedings 6th International Workshop on Discrete Event Systems (WODES'02, Zaragoza, Spain, October 2-4, 2002)",

publisher = "IEEE Computer Society",

address = "United States",

}