{"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={http://dx.doi.org/10.1007/b101749}, 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., & Güldali, B. (2004). Software Testing via Model Checking. In Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey) (Vol. 3280, pp. 907–916). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/b101749","ama":"Belli F, Güldali B. Software Testing via Model Checking. In: Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey). Vol 3280. LNCS. Berlin/Heidelberg: Springer; 2004:907-916. doi:http://dx.doi.org/10.1007/b101749","ieee":"F. Belli and B. Güldali, “Software Testing via Model Checking,” in Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), 2004, vol. 3280, pp. 907–916.","mla":"Belli, Fevzi, and Baris Güldali. “Software Testing via Model Checking.” Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), vol. 3280, Springer, 2004, pp. 907–16, doi:http://dx.doi.org/10.1007/b101749.","chicago":"Belli, Fevzi, and Baris Güldali. “Software Testing via Model Checking.” In Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), 3280:907–16. LNCS. Berlin/Heidelberg: Springer, 2004. http://dx.doi.org/10.1007/b101749."},"_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"}