{"department":[{"_id":"672"}],"date_created":"2021-10-07T09:54:44Z","date_updated":"2022-01-06T06:57:12Z","type":"book_editor","_id":"25741","year":"2013","title":"Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013","status":"public","series_title":"Band IFIP AICT 403 ","user_id":"21240","citation":{"bibtex":"@book{Schirner_Götz_Rettberg_Zanella_Rammig_2013, series={Band IFIP AICT 403 }, title={Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013}, publisher={Springer}, year={2013}, collection={Band IFIP AICT 403 } }","mla":"Schirner, Gunar, et al., editors. <i>Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013</i>. Springer, 2013.","short":"G. Schirner, M. Götz, A. Rettberg, M.C. Zanella, F.-J. Rammig, eds., Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013, Springer, 2013.","ieee":"G. Schirner, M. Götz, A. Rettberg, M. C. Zanella, and F.-J. Rammig, Eds., <i>Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013</i>. Springer, 2013.","ama":"Schirner G, Götz M, Rettberg A, Zanella MC, Rammig F-J, eds. <i>Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013</i>. Springer; 2013.","apa":"Schirner, G., Götz, M., Rettberg, A., Zanella, M. C., &#38; Rammig, F.-J. (Eds.). (2013). <i>Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013</i>. Springer.","chicago":"Schirner, Gunar, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, and Franz-Josef Rammig, eds. <i>Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013</i>. Band IFIP AICT 403 . Springer, 2013."},"language":[{"iso":"eng"}],"editor":[{"first_name":"Gunar","full_name":"Schirner, Gunar","last_name":"Schirner"},{"last_name":"Götz","full_name":"Götz, Marcelo","first_name":"Marcelo"},{"full_name":"Rettberg, Achim","first_name":"Achim","last_name":"Rettberg"},{"last_name":"Zanella","first_name":"Mauro C.","full_name":"Zanella, Mauro C."},{"first_name":"Franz-Josef","full_name":"Rammig, Franz-Josef","last_name":"Rammig"}],"publisher":"Springer"}