%0 Conference Paper %1 conf/dac/GoswamiLKSMCR13 %A Goswami, Dip %A Lukasiewycz, Martin %A Kauer, Matthias %A Steinhorst, Sebastian %A Masrur, Alejandro %A Chakraborty, Samarjit %A Ramesh, S. %B DAC %D 2013 %I ACM %K %P 96:1-96:9 %T Model-based development and verification of control software for electric vehicles. %U http://dblp.uni-trier.de/db/conf/dac/dac2013.html#GoswamiLKSMCR13 %@ 978-1-4503-2071-9

@inproceedings{conf/dac/GoswamiLKSMCR13, added-at = {2023-12-12T20:01:39.000+0100}, author = {Goswami, Dip and Lukasiewycz, Martin and Kauer, Matthias and Steinhorst, Sebastian and Masrur, Alejandro and Chakraborty, Samarjit and Ramesh, S.}, biburl = {https://www.bibsonomy.org/bibtex/27d2458f299fb4dd22c1be90161d21078/admin}, booktitle = {DAC}, crossref = {conf/dac/2013}, ee = {https://doi.org/10.1145/2463209.2488853}, interhash = {29746a8613c288f5cecab537453e8924}, intrahash = {7d2458f299fb4dd22c1be90161d21078}, isbn = {978-1-4503-2071-9}, keywords = {}, pages = {96:1-96:9}, publisher = {ACM}, timestamp = {2023-12-12T20:01:39.000+0100}, title = {Model-based development and verification of control software for electric vehicles.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2013.html#GoswamiLKSMCR13}, year = 2013 }