SHIP - A Logic-Based Language and Tool to Program Smart Environments

@inproceedings{pub8033,
    author = {

Autexier, Serge
 and 

Hutter, Dieter
},
    editor = {

Falaschi, Moreno
},
    title = {SHIP - A Logic-Based Language and Tool to Program Smart Environments},
    booktitle = {25. International Symposium on Logic-Based Program Synthesis and Transformation. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR-2015), July 13-15, Siena, Italy},
    series = {Lecture Notes in Computer Science, (LNCS)},
    year = {2015},
    month = {11},
    volume = {9527},
    pages = {313--330},
    publisher = {Springer-Verlag}
}