{"department":[{"_id":"48"}],"keyword":["WORKSHOP"],"_id":"13085","title":"Synthesis for Testability - the ARCHIMEDES Approach","citation":{"ama":"Hellebrand S, Paulo Teixeira J, Wunderlich H-J. <i>Synthesis for Testability - the ARCHIMEDES Approach</i>. 1st IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA; 1994.","mla":"Hellebrand, Sybille, et al. <i>Synthesis for Testability - the ARCHIMEDES Approach</i>. 1994.","ieee":"S. Hellebrand, J. Paulo Teixeira, and H.-J. Wunderlich, <i>Synthesis for Testability - the ARCHIMEDES Approach</i>. 1st IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA, 1994.","apa":"Hellebrand, S., Paulo Teixeira, J., &#38; Wunderlich, H.-J. (1994). <i>Synthesis for Testability - the ARCHIMEDES Approach</i>. 1st IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA.","bibtex":"@book{Hellebrand_Paulo Teixeira_Wunderlich_1994, place={1st IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA}, title={Synthesis for Testability - the ARCHIMEDES Approach}, author={Hellebrand, Sybille and Paulo Teixeira, Joao and Wunderlich, Hans-Joachim}, year={1994} }","short":"S. Hellebrand, J. Paulo Teixeira, H.-J. Wunderlich, Synthesis for Testability - the ARCHIMEDES Approach, 1st IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA, 1994.","chicago":"Hellebrand, Sybille, Joao Paulo Teixeira, and Hans-Joachim Wunderlich. <i>Synthesis for Testability - the ARCHIMEDES Approach</i>. 1st IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA, 1994."},"user_id":"659","date_created":"2019-08-28T12:13:01Z","status":"public","place":"1st IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA","year":"1994","extern":"1","author":[{"full_name":"Hellebrand, Sybille","last_name":"Hellebrand","id":"209","orcid":"0000-0002-3717-3939","first_name":"Sybille"},{"first_name":"Joao","full_name":"Paulo Teixeira, Joao","last_name":"Paulo Teixeira"},{"first_name":"Hans-Joachim","last_name":"Wunderlich","full_name":"Wunderlich, Hans-Joachim"}],"date_updated":"2022-01-06T06:51:28Z","type":"misc","language":[{"iso":"eng"}]}