Vol-1100⫷ Vol-1101 ⫸Vol-1102
urn:nbn:de:0074-1101-0


Vol-1101/paper3⫷Vol-1101/paper1⫸Vol-1101/paper8
Fabio PatriziMarco MontaliDiego CalvaneseGiuseppe De Giacomo

Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version)