{"publisher":"Springer","publication":"Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)","language":[{"iso":"eng"}],"_id":"7919","year":"2004","volume":3280,"author":[{"last_name":"Belli","full_name":"Belli, Fevzi","first_name":"Fevzi"},{"first_name":"Baris","last_name":"Güldali","full_name":"Güldali, Baris"}],"title":"Software Testing via Model Checking","place":"Berlin/Heidelberg","department":[{"_id":"66"}],"intvolume":"      3280","user_id":"52534","page":"907-916","status":"public","type":"conference","doi":"http://dx.doi.org/10.1007/b101749","date_created":"2019-02-21T11:24:23Z","series_title":"LNCS","date_updated":"2022-01-06T07:03:48Z","citation":{"short":"F. Belli, B. Güldali, in: Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), Springer, Berlin/Heidelberg, 2004, pp. 907–916.","ama":"Belli F, Güldali B. Software Testing via Model Checking. In: <i>Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)</i>. Vol 3280. LNCS. Berlin/Heidelberg: Springer; 2004:907-916. doi:<a href=\"http://dx.doi.org/10.1007/b101749\">http://dx.doi.org/10.1007/b101749</a>","chicago":"Belli, Fevzi, and Baris Güldali. “Software Testing via Model Checking.” In <i>Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)</i>, 3280:907–16. LNCS. Berlin/Heidelberg: Springer, 2004. <a href=\"http://dx.doi.org/10.1007/b101749\">http://dx.doi.org/10.1007/b101749</a>.","bibtex":"@inproceedings{Belli_Güldali_2004, place={Berlin/Heidelberg}, series={LNCS}, title={Software Testing via Model Checking}, volume={3280}, DOI={<a href=\"http://dx.doi.org/10.1007/b101749\">http://dx.doi.org/10.1007/b101749</a>}, booktitle={Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)}, publisher={Springer}, author={Belli, Fevzi and Güldali, Baris}, year={2004}, pages={907–916}, collection={LNCS} }","ieee":"F. Belli and B. Güldali, “Software Testing via Model Checking,” in <i>Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)</i>, 2004, vol. 3280, pp. 907–916.","mla":"Belli, Fevzi, and Baris Güldali. “Software Testing via Model Checking.” <i>Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)</i>, vol. 3280, Springer, 2004, pp. 907–16, doi:<a href=\"http://dx.doi.org/10.1007/b101749\">http://dx.doi.org/10.1007/b101749</a>.","apa":"Belli, F., &#38; Güldali, B. (2004). Software Testing via Model Checking. In <i>Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)</i> (Vol. 3280, pp. 907–916). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/b101749\">http://dx.doi.org/10.1007/b101749</a>"}}