%0 Conference Paper %1 conf/icalp/Ben-AriHP81 %A Ben-Ari, Mordechai %A Halpern, Joseph Y. %A Pnueli, Amir %B ICALP %D 1981 %E Even, Shimon %E Kariv, Oded %I Springer %K dblp %P 249-263 %T Finite Models for Deterministic Propositional Dynamic Logic. %U http://dblp.uni-trier.de/db/conf/icalp/icalp81.html#Ben-AriHP81 %V 115 %@ 3-540-10843-2

@inproceedings{conf/icalp/Ben-AriHP81, added-at = {2017-05-19T00:00:00.000+0200}, author = {Ben-Ari, Mordechai and Halpern, Joseph Y. and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/2b0c25d8703b9dbf894d8e7f54bde19be/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1981}, editor = {Even, Shimon and Kariv, Oded}, ee = {https://doi.org/10.1007/3-540-10843-2_21}, interhash = {c11e5cc7617874236d6069632efa56b8}, intrahash = {b0c25d8703b9dbf894d8e7f54bde19be}, isbn = {3-540-10843-2}, keywords = {dblp}, pages = {249-263}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:28:44.000+0200}, title = {Finite Models for Deterministic Propositional Dynamic Logic.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp81.html#Ben-AriHP81}, volume = 115, year = 1981 }