Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah. Model Checking Software in Cyberphysical Systems. In 44th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2020, Madrid, Spain, July 13-17, 2020. pages 1017-1026, IEEE, 2020. [doi]
@inproceedings{SirjaniLK20,
title = {Model Checking Software in Cyberphysical Systems},
author = {Marjan Sirjani and Edward A. Lee and Ehsan Khamespanah},
year = {2020},
doi = {10.1109/COMPSAC48688.2020.0-138},
url = {https://doi.org/10.1109/COMPSAC48688.2020.0-138},
researchr = {https://researchr.org/publication/SirjaniLK20},
cites = {0},
citedby = {0},
pages = {1017-1026},
booktitle = {44th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2020, Madrid, Spain, July 13-17, 2020},
publisher = {IEEE},
isbn = {978-1-7281-7303-0},
}