%0 Conference Paper %1 conf/amcc/Fainekos15 %A Fainekos, Georgios %B ACC %D 2015 %I IEEE %K dblp %P 4096 %T Automotive control design bug-finding with the S-TaLiRo tool. %U http://dblp.uni-trier.de/db/conf/amcc/acc2015.html#Fainekos15 %@ 978-1-4799-8685-9

@inproceedings{conf/amcc/Fainekos15, added-at = {2021-08-13T00:00:00.000+0200}, author = {Fainekos, Georgios}, biburl = {https://www.bibsonomy.org/bibtex/2270a9b14e58f6203b7c828b6d261a3fc/dblp}, booktitle = {ACC}, crossref = {conf/amcc/2015}, ee = {https://doi.org/10.1109/ACC.2015.7171969}, interhash = {285d5d5f0e51c7b3458d7ec7ea8c12c3}, intrahash = {270a9b14e58f6203b7c828b6d261a3fc}, isbn = {978-1-4799-8685-9}, keywords = {dblp}, pages = 4096, publisher = {IEEE}, timestamp = {2024-04-09T13:51:24.000+0200}, title = {Automotive control design bug-finding with the S-TaLiRo tool.}, url = {http://dblp.uni-trier.de/db/conf/amcc/acc2015.html#Fainekos15}, year = 2015 }