%0 Conference Paper %1 conf/csl/Vardi11 %A Vardi, Moshe Y. %B CSL %D 2011 %E Bezem, Marc %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 3 %T Branching vs. Linear Time: Semantical Perspective. %U http://dblp.uni-trier.de/db/conf/csl/csl2011.html#Vardi11 %V 12 %@ 978-3-939897-32-3

@inproceedings{conf/csl/Vardi11, added-at = {2018-08-23T00:00:00.000+0200}, author = {Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2eaa59a051b133d1c7e0114bfeaf9ee1c/dblp}, booktitle = {CSL}, crossref = {conf/csl/2011}, editor = {Bezem, Marc}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2011.3}, interhash = {c8311e5bc45c2b6d94143f7854e32096}, intrahash = {eaa59a051b133d1c7e0114bfeaf9ee1c}, isbn = {978-3-939897-32-3}, keywords = {dblp}, pages = 3, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:51:04.000+0100}, title = {Branching vs. Linear Time: Semantical Perspective.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2011.html#Vardi11}, volume = 12, year = 2011 }