Neda Saeedloei, Gopal Gupta. A logic-based modeling and verification of CPS. SIGBED Review, 8(2):31-34, 2011. [doi]
@article{SaeedloeiG11,
title = {A logic-based modeling and verification of CPS},
author = {Neda Saeedloei and Gopal Gupta},
year = {2011},
doi = {10.1145/2000367.2000374},
url = {http://doi.acm.org/10.1145/2000367.2000374},
researchr = {https://researchr.org/publication/SaeedloeiG11},
cites = {0},
citedby = {0},
journal = {SIGBED Review},
volume = {8},
number = {2},
pages = {31-34},
}