%0 Conference Paper %1 conf/iclp/Bottalico11 %A Bottalico, Marco %B ICLP (Technical Communications) %D 2011 %E Gallagher, John P. %E Gelfond, Michael %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 255-260 %T Consistency Techniques for Hybrid Simulations. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2011.html#Bottalico11 %V 11 %@ 978-3-939897-31-6

@inproceedings{conf/iclp/Bottalico11, added-at = {2018-08-23T00:00:00.000+0200}, author = {Bottalico, Marco}, biburl = {https://www.bibsonomy.org/bibtex/238b02036d28a8ca9a68b53c45d56ce54/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2011}, editor = {Gallagher, John P. and Gelfond, Michael}, ee = {https://doi.org/10.4230/LIPIcs.ICLP.2011.255}, interhash = {3778207a670b001f9b2e113a7b5f37f6}, intrahash = {38b02036d28a8ca9a68b53c45d56ce54}, isbn = {978-3-939897-31-6}, keywords = {dblp}, pages = {255-260}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:46:20.000+0100}, title = {Consistency Techniques for Hybrid Simulations.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2011.html#Bottalico11}, volume = 11, year = 2011 }