%0 Conference Paper %1 conf/iscis/BelliG04 %A Belli, Fevzi %A Güldali, Baris %B ISCIS %D 2004 %E Aykanat, Cevdet %E Dayar, Tugrul %E Korpeoglu, Ibrahim %I Springer %K %P 907-916 %T Software Testing via Model Checking. %U http://dblp.uni-trier.de/db/conf/iscis/iscis2004.html#BelliG04 %V 3280 %@ 3-540-23526-4

@inproceedings{conf/iscis/BelliG04, added-at = {2023-12-13T09:37:54.000+0100}, author = {Belli, Fevzi and Güldali, Baris}, biburl = {https://www.bibsonomy.org/bibtex/271863b8d4e831028d60896a10438f499/admin}, booktitle = {ISCIS}, crossref = {conf/iscis/2004}, editor = {Aykanat, Cevdet and Dayar, Tugrul and Korpeoglu, Ibrahim}, ee = {https://doi.org/10.1007/978-3-540-30182-0_91}, interhash = {cffced13a9b19528981de9c0292deeed}, intrahash = {71863b8d4e831028d60896a10438f499}, isbn = {3-540-23526-4}, keywords = {}, pages = {907-916}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T09:37:54.000+0100}, title = {Software Testing via Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/iscis/iscis2004.html#BelliG04}, volume = 3280, year = 2004 }