%0 Journal Article %1 journals/expert/Platzer09 %A Platzer, André %D 2009 %J IEEE Intelligent Systems %K %N 4 %P 10-13 %T Verification of Cyberphysical Transportation Systems. %U http://dblp.uni-trier.de/db/journals/expert/expert24.html#Platzer09 %V 24

@article{journals/expert/Platzer09, added-at = {2023-12-12T22:16:39.000+0100}, author = {Platzer, André}, biburl = {https://www.bibsonomy.org/bibtex/23a06c27687df38631a0f5a6e13d851ee/admin}, ee = {http://doi.ieeecomputersociety.org/10.1109/MIS.2009.81}, interhash = {48bd0c88f52a368c7df0f4f35b0993dc}, intrahash = {3a06c27687df38631a0f5a6e13d851ee}, journal = {IEEE Intelligent Systems}, keywords = {}, number = 4, pages = {10-13}, timestamp = {2023-12-12T22:16:39.000+0100}, title = {Verification of Cyberphysical Transportation Systems.}, url = {http://dblp.uni-trier.de/db/journals/expert/expert24.html#Platzer09}, volume = 24, year = 2009 }