%0 Conference Paper %1 conf/date/JersakREBJW03 %A Jersak, Marek %A Richter, Kai %A Ernst, Rolf %A Braam, Jörn-Christian %A Jiang, Zheng-Yu %A Wolf, Fabian %B DATE %D 2003 %I IEEE Computer Society %K %P 20045-20050 %T Formal Methods for Integration of Automotive Software. %U http://dblp.uni-trier.de/db/conf/date/date2003.html#JersakREBJW03 %@ 0-7695-1870-2

@inproceedings{conf/date/JersakREBJW03, added-at = {2023-12-13T04:23:32.000+0100}, author = {Jersak, Marek and Richter, Kai and Ernst, Rolf and Braam, Jörn-Christian and Jiang, Zheng-Yu and Wolf, Fabian}, biburl = {https://www.bibsonomy.org/bibtex/2055c003094cfc522f6e7a3b3de3dbc51/admin}, booktitle = {DATE}, crossref = {conf/date/2003}, ee = {http://dl.acm.org/citation.cfm?id=1022925}, interhash = {953bfb003a0b66af78a3fdd6128cfe25}, intrahash = {055c003094cfc522f6e7a3b3de3dbc51}, isbn = {0-7695-1870-2}, keywords = {}, pages = {20045-20050}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T04:23:32.000+0100}, title = {Formal Methods for Integration of Automotive Software.}, url = {http://dblp.uni-trier.de/db/conf/date/date2003.html#JersakREBJW03}, year = 2003 }