Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli
Finite Models for Deterministic Propositional Dynamic Logic
ICALP, 1981.
@inproceedings{ICALP-1981-Ben-AriHP,
author = "Mordechai Ben-Ari and Joseph Y. Halpern and Amir Pnueli",
booktitle = "{Proceedings of the Eighth Colloquium on Automata, Languages and Programming}",
doi = "10.1007/3-540-10843-2_21",
isbn = "3-540-10843-2",
pages = "249--263",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Finite Models for Deterministic Propositional Dynamic Logic}",
volume = 115,
year = 1981,
}