%0 Conference Paper %1 conf/rr/CalvaneseGMP13 %A Calvanese, Diego %A Giacomo, Giuseppe De %A Montali, Marco %A Patrizi, Fabio %B RR %D 2013 %E Faber, Wolfgang %E Lembo, Domenico %I Springer %K %P 50-64 %T Verification and Synthesis in Description Logic Based Dynamic Systems. %U http://dblp.uni-trier.de/db/conf/rr/rr2013.html#CalvaneseGMP13 %V 7994 %@ 978-3-642-39665-6

@inproceedings{conf/rr/CalvaneseGMP13, added-at = {2023-12-13T06:12:01.000+0100}, author = {Calvanese, Diego and Giacomo, Giuseppe De and Montali, Marco and Patrizi, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/246cace4ec7333b01121ee9b5d637ee6a/admin}, booktitle = {RR}, crossref = {conf/rr/2013}, editor = {Faber, Wolfgang and Lembo, Domenico}, ee = {https://www.wikidata.org/entity/Q62044512}, interhash = {ab5cba6b0949af0630359ad04cc1515c}, intrahash = {46cace4ec7333b01121ee9b5d637ee6a}, isbn = {978-3-642-39665-6}, keywords = {}, pages = {50-64}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T06:12:01.000+0100}, title = {Verification and Synthesis in Description Logic Based Dynamic Systems.}, url = {http://dblp.uni-trier.de/db/conf/rr/rr2013.html#CalvaneseGMP13}, volume = 7994, year = 2013 }