{"author":[{"first_name":"Fevzi","last_name":"Belli","full_name":"Belli, Fevzi"},{"full_name":"Güldali, Baris","first_name":"Baris","last_name":"Güldali"}],"page":"907-916","place":"Berlin/Heidelberg","citation":{"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} }","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.","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>","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>","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>.","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>."},"_id":"7919","series_title":"LNCS","language":[{"iso":"eng"}],"title":"Software Testing via Model Checking","year":"2004","date_updated":"2022-01-06T07:03:48Z","volume":3280,"type":"conference","intvolume":"      3280","status":"public","doi":"http://dx.doi.org/10.1007/b101749","department":[{"_id":"66"}],"publication":"Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)","user_id":"52534","date_created":"2019-02-21T11:24:23Z","publisher":"Springer"}