%0 Conference Paper %1 conf/vnc/NeudeckerAH13 %A Neudecker, Till %A An, Natalya %A Hartenstein, Hannes %B VNC %D 2013 %I IEEE %K dblp %P 158-165 %T Verification and evaluation of fail-safe Virtual Traffic Light applications. %U http://dblp.uni-trier.de/db/conf/vnc/vnc2013.html#NeudeckerAH13 %@ 978-1-4799-2687-9

@inproceedings{conf/vnc/NeudeckerAH13, added-at = {2014-02-25T00:00:00.000+0100}, author = {Neudecker, Till and An, Natalya and Hartenstein, Hannes}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e5b7e6ca74aba1d5024fed64f03cc783/dblp}, booktitle = {VNC}, crossref = {conf/vnc/2013}, ee = {http://dx.doi.org/10.1109/VNC.2013.6737603}, interhash = {d575f7d1cd0319bd4afc66d2463cbe6d}, intrahash = {e5b7e6ca74aba1d5024fed64f03cc783}, isbn = {978-1-4799-2687-9}, keywords = {dblp}, pages = {158-165}, publisher = {IEEE}, timestamp = {2016-02-02T11:17:37.000+0100}, title = {Verification and evaluation of fail-safe Virtual Traffic Light applications.}, url = {http://dblp.uni-trier.de/db/conf/vnc/vnc2013.html#NeudeckerAH13}, year = 2013 }