%0 Conference Paper %1 conf/concur/KupfermanV17 %A Kupferman, Orna %A Vardi, Gal %B CONCUR %D 2017 %E Meyer, Roland %E Nestmann, Uwe %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 9:1-9:18 %T Flow Logic. %U http://dblp.uni-trier.de/db/conf/concur/concur2017.html#KupfermanV17 %V 85 %@ 978-3-95977-048-4

@inproceedings{conf/concur/KupfermanV17, added-at = {2018-08-23T00:00:00.000+0200}, author = {Kupferman, Orna and Vardi, Gal}, biburl = {https://www.bibsonomy.org/bibtex/228d2a51dd3a258647cd0214309e3520d/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2017}, editor = {Meyer, Roland and Nestmann, Uwe}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.9}, interhash = {452ffe11389c470e0ae0203ea4295939}, intrahash = {28d2a51dd3a258647cd0214309e3520d}, isbn = {978-3-95977-048-4}, keywords = {dblp}, pages = {9:1-9:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:49:39.000+0100}, title = {Flow Logic.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2017.html#KupfermanV17}, volume = 85, year = 2017 }