%0 Journal Article %1 journals/jcss/VardiW86 %A Vardi, Moshe Y. %A Wolper, Pierre %D 1986 %J J. Comput. Syst. Sci. %K dblp %N 2 %P 183-221 %T Automata-Theoretic Techniques for Modal Logics of Programs. %U http://dblp.uni-trier.de/db/journals/jcss/jcss32.html#VardiW86 %V 32

@article{journals/jcss/VardiW86, added-at = {2024-02-05T00:00:00.000+0100}, author = {Vardi, Moshe Y. and Wolper, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/229ce016a905300180d210cac6f97a4d2/dblp}, ee = {https://doi.org/10.1016/0022-0000(86)90026-7}, interhash = {fd9f88237171ee1911899a54cc8ccbc1}, intrahash = {29ce016a905300180d210cac6f97a4d2}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, number = 2, pages = {183-221}, timestamp = {2024-04-08T19:13:48.000+0200}, title = {Automata-Theoretic Techniques for Modal Logics of Programs.}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss32.html#VardiW86}, volume = 32, year = 1986 }