%0 Journal Article %1 journals/ieeesp/MitraWM13 %A Mitra, Sayan %A Wongpiromsarn, Tichakorn %A Murray, Richard M. %D 2013 %J IEEE Secur. Priv. %K dblp %N 4 %P 28-37 %T Verifying Cyber-Physical Interactions in Safety-Critical Systems. %U http://dblp.uni-trier.de/db/journals/ieeesp/ieeesp11.html#MitraWM13 %V 11

@article{journals/ieeesp/MitraWM13, added-at = {2023-09-30T00:00:00.000+0200}, author = {Mitra, Sayan and Wongpiromsarn, Tichakorn and Murray, Richard M.}, biburl = {https://www.bibsonomy.org/bibtex/2f7fd39cae1a68d71d5f82554ce58ddaa/dblp}, ee = {https://www.wikidata.org/entity/Q59813906}, interhash = {c8c4580f53eadce0660bb1bedce91fe5}, intrahash = {f7fd39cae1a68d71d5f82554ce58ddaa}, journal = {IEEE Secur. Priv.}, keywords = {dblp}, number = 4, pages = {28-37}, timestamp = {2024-04-09T01:44:08.000+0200}, title = {Verifying Cyber-Physical Interactions in Safety-Critical Systems.}, url = {http://dblp.uni-trier.de/db/journals/ieeesp/ieeesp11.html#MitraWM13}, volume = 11, year = 2013 }