%0 Conference Paper %1 conf/aaai/OSullivanP06 %A O'Sullivan, Barry %A Provan, Gregory M. %B AAAI %D 2006 %I AAAI Press %K dblp %P 894-899 %T Approximate Compilation for Embedded Model-based Reasoning. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2006.html#OSullivanP06

@inproceedings{conf/aaai/OSullivanP06, added-at = {2023-09-05T00:00:00.000+0200}, author = {O'Sullivan, Barry and Provan, Gregory M.}, biburl = {https://www.bibsonomy.org/bibtex/282485f53b5a8bd9f561b4c739bb317e1/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2006}, ee = {http://www.aaai.org/Library/AAAI/2006/aaai06-141.php}, interhash = {f55aed78bad8d18c822335f7565e3e8e}, intrahash = {82485f53b5a8bd9f561b4c739bb317e1}, keywords = {dblp}, pages = {894-899}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:13:30.000+0200}, title = {Approximate Compilation for Embedded Model-based Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2006.html#OSullivanP06}, year = 2006 }