Vol-3738⫷ Vol-3739 ⫸Vol-3740
urn:nbn:de:0074-3739-0


Vol-3739/paper-1⫷Vol-3739/paper-2⫸Vol-3739/paper-3

Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural Language