Marco Bottalico. Consistency Techniques for Hybrid Simulations. In John P. Gallagher, Michael Gelfond, editors, Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA. Volume 11 of LIPIcs, pages 255-260, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]
@inproceedings{Bottalico11,
title = {Consistency Techniques for Hybrid Simulations},
author = {Marco Bottalico},
year = {2011},
doi = {10.4230/LIPIcs.ICLP.2011.255},
url = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2011.255},
tags = {consistency},
researchr = {https://researchr.org/publication/Bottalico11},
cites = {0},
citedby = {0},
pages = {255-260},
booktitle = {Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA},
editor = {John P. Gallagher and Michael Gelfond},
volume = {11},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-31-6},
}