Vol-1194⫷ Vol-1195 ⫸Vol-1196
urn:nbn:de:0074-1195-0


Vol-1195/long15⫷Vol-1195/long16⫸Vol-1195/long17
Giovanni De GasperisStefania Costantini

Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems