%0 Conference Paper %1 conf/iclp/Saeedloei10 %A Saeedloei, Neda %B ICLP (Technical Communications) %D 2010 %E Hermenegildo, Manuel V. %E Schaub, Torsten %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 289-293 %T Logic Programming Foundations of Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2010.html#Saeedloei10 %V 7 %@ 978-3-939897-17-0

@inproceedings{conf/iclp/Saeedloei10, added-at = {2018-08-23T00:00:00.000+0200}, author = {Saeedloei, Neda}, biburl = {https://www.bibsonomy.org/bibtex/26c8ae67e6273a31a840787c2bee14604/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2010}, editor = {Hermenegildo, Manuel V. and Schaub, Torsten}, ee = {https://doi.org/10.4230/LIPIcs.ICLP.2010.289}, interhash = {0cbc2143042a04e13ccb616a1713c20f}, intrahash = {6c8ae67e6273a31a840787c2bee14604}, isbn = {978-3-939897-17-0}, keywords = {dblp}, pages = {289-293}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:46:29.000+0100}, title = {Logic Programming Foundations of Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2010.html#Saeedloei10}, volume = 7, year = 2010 }