%0 Conference Paper %1 conf/lopstr/AutexierH15 %A Autexier, Serge %A Hutter, Dieter %B LOPSTR %D 2015 %E Falaschi, Moreno %I Springer %K dblp %P 313-328 %T SHIP - A Logic-Based Language and Tool to Program Smart Environments. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2015.html#AutexierH15 %V 9527 %@ 978-3-319-27435-5

@inproceedings{conf/lopstr/AutexierH15, added-at = {2022-04-09T00:00:00.000+0200}, author = {Autexier, Serge and Hutter, Dieter}, biburl = {https://www.bibsonomy.org/bibtex/2a1c819996bca7fe163c9c4d1de24ab5d/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2015}, editor = {Falaschi, Moreno}, ee = {https://doi.org/10.1007/978-3-319-27436-2_19}, interhash = {dea588fc747c2e181c4fbec9c6978454}, intrahash = {a1c819996bca7fe163c9c4d1de24ab5d}, isbn = {978-3-319-27435-5}, keywords = {dblp}, pages = {313-328}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:27:00.000+0200}, title = {SHIP - A Logic-Based Language and Tool to Program Smart Environments.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2015.html#AutexierH15}, volume = 9527, year = 2015 }