%0 Conference Paper %1 conf/tableaux/MartinsPL19 %A Martins, João G. %A Platzer, André %A Leite, João %B TABLEAUX %D 2019 %E Cerrito, Serenella %E Popescu, Andrei %I Springer %K dblp %P 428-445 %T Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2019.html#MartinsPL19 %V 11714 %@ 978-3-030-29026-9

@inproceedings{conf/tableaux/MartinsPL19, added-at = {2020-08-07T00:00:00.000+0200}, author = {Martins, João G. and Platzer, André and Leite, João}, biburl = {https://www.bibsonomy.org/bibtex/27ef996d527a43c41ff226ff604d64143/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2019}, editor = {Cerrito, Serenella and Popescu, Andrei}, ee = {https://doi.org/10.1007/978-3-030-29026-9_24}, interhash = {e61994a6b3a83939067b5702525340b6}, intrahash = {7ef996d527a43c41ff226ff604d64143}, isbn = {978-3-030-29026-9}, keywords = {dblp}, pages = {428-445}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-08-08T11:45:19.000+0200}, title = {Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2019.html#MartinsPL19}, volume = 11714, year = 2019 }