%0 Conference Paper %1 conf/aaai/KalantariT02 %A Kalantari, Leila %A Ternovska, Eugenia %B AAAI/IAAI %D 2002 %E Dechter, Rina %E Kearns, Michael J. %E Sutton, Richard S. %I AAAI Press / The MIT Press %K dblp %P 953-954 %T A Model Checker for Verifying ConGolog Programs. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2002.html#KalantariT02

@inproceedings{conf/aaai/KalantariT02, added-at = {2023-09-05T00:00:00.000+0200}, author = {Kalantari, Leila and Ternovska, Eugenia}, biburl = {https://www.bibsonomy.org/bibtex/2afc2bec26122628605ae4b8d7fe1e128/dblp}, booktitle = {AAAI/IAAI}, crossref = {conf/aaai/2002}, editor = {Dechter, Rina and Kearns, Michael J. and Sutton, Richard S.}, ee = {http://www.aaai.org/Library/AAAI/2002/aaai02-144.php}, interhash = {4d3eca31c0358515da6152c29c5f32ee}, intrahash = {afc2bec26122628605ae4b8d7fe1e128}, keywords = {dblp}, pages = {953-954}, publisher = {AAAI Press / The MIT Press}, timestamp = {2024-04-09T18:12:05.000+0200}, title = {A Model Checker for Verifying ConGolog Programs.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2002.html#KalantariT02}, year = 2002 }