Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro Cesar Zanella, Franz J. Rammig, editors, Embedded Systems: Design, Analysis and Verification - 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings. Volume 403 of IFIP Advances in Information and Communication Technology, Springer, 2013. [doi]
Conference: IESS2013
@proceedings{iess-2013, title = {Embedded Systems: Design, Analysis and Verification - 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings}, year = {2013}, doi = {10.1007/978-3-642-38853-8}, url = {http://dx.doi.org/10.1007/978-3-642-38853-8}, researchr = {https://researchr.org/publication/iess-2013}, cites = {0}, citedby = {0}, booktitle = {Embedded Systems: Design, Analysis and Verification - 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings}, conference = {iess}, editor = {Gunar Schirner and Marcelo Götz and Achim Rettberg and Mauro Cesar Zanella and Franz J. Rammig}, volume = {403}, series = {IFIP Advances in Information and Communication Technology}, publisher = {Springer}, isbn = {978-3-642-38852-1}, }