{"series_title":"LNCS","page":"321-331","publication":"Proceedings of the conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)","date_updated":"2022-01-06T07:03:48Z","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"title":"A holistic approach to test-driven model checking","_id":"7935","citation":{"bibtex":"@inproceedings{Belli_Güldali_2005, place={Berlin/Heidelberg}, series={LNCS}, title={A holistic approach to test-driven model checking}, booktitle={Proceedings of the conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)}, publisher={Springer}, author={Belli, Fevzi and Güldali, Baris}, year={2005}, pages={321–331}, collection={LNCS} }","mla":"Belli, Fevzi, and Baris Güldali. “A Holistic Approach to Test-Driven Model Checking.” <i>Proceedings of the Conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)</i>, Springer, 2005, pp. 321–31.","ama":"Belli F, Güldali B. A holistic approach to test-driven model checking. In: <i>Proceedings of the Conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)</i>. LNCS. Berlin/Heidelberg: Springer; 2005:321-331.","ieee":"F. Belli and B. Güldali, “A holistic approach to test-driven model checking,” in <i>Proceedings of the conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)</i>, 2005, pp. 321–331.","chicago":"Belli, Fevzi, and Baris Güldali. “A Holistic Approach to Test-Driven Model Checking.” In <i>Proceedings of the Conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)</i>, 321–31. LNCS. Berlin/Heidelberg: Springer, 2005.","short":"F. Belli, B. Güldali, in: Proceedings of the Conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy), Springer, Berlin/Heidelberg, 2005, pp. 321–331.","apa":"Belli, F., &#38; Güldali, B. (2005). A holistic approach to test-driven model checking. In <i>Proceedings of the conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)</i> (pp. 321–331). Berlin/Heidelberg: Springer."},"user_id":"52534","date_created":"2019-02-21T11:32:58Z","status":"public","place":"Berlin/Heidelberg","year":"2005","publisher":"Springer","author":[{"first_name":"Fevzi","last_name":"Belli","full_name":"Belli, Fevzi"},{"first_name":"Baris","last_name":"Güldali","full_name":"Güldali, Baris"}]}