%0 Conference Paper %1 conf/fsttcs/Weinert016 %A Weinert, Alexander %A Zimmermann, Martin %B FSTTCS %D 2016 %E Lal, Akash %E Akshay, S. %E Saurabh, Saket %E Sen, Sandeep %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 28:1-28:14 %T Visibly Linear Dynamic Logic. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2016.html#Weinert016 %V 65 %@ 978-3-95977-027-9

@inproceedings{conf/fsttcs/Weinert016, added-at = {2023-12-14T16:46:12.000+0100}, author = {Weinert, Alexander and Zimmermann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2a2da35674f681777e30aec7f765b379b/admin}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2016}, editor = {Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.28}, interhash = {fcebf0e96e2543ac8c817990002a4631}, intrahash = {a2da35674f681777e30aec7f765b379b}, isbn = {978-3-95977-027-9}, keywords = {}, pages = {28:1-28:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-14T16:46:12.000+0100}, title = {Visibly Linear Dynamic Logic.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2016.html#Weinert016}, volume = 65, year = 2016 }