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