SHIP - A Logic-Based Language and Tool to Program Smart Environments
@inproceedings{AH-15-a, author = {Serge Autexier and Dieter Hutter}, editor = {Moreno Falaschi }, booktitle = {Post-Proceedings 25th International Conference on Logic-Based Program Synthesis and Transformation (LOPSTR 2015)}, title = {SHIP - A Logic-Based Language and Tool to Program Smart Environments}, series = {LNCS}, publisher = {Springer-Verlag}, month = {october}, year = {2015}, }