%0 Conference Paper %1 conf/stoc/VardiW84 %A Vardi, Moshe Y. %A Wolper, Pierre %B STOC %D 1984 %E DeMillo, Richard A. %I ACM %K dblp %P 446-456 %T Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract) %U http://dblp.uni-trier.de/db/conf/stoc/stoc84.html#VardiW84

@inproceedings{conf/stoc/VardiW84, added-at = {2024-02-05T00:00:00.000+0100}, author = {Vardi, Moshe Y. and Wolper, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/22a04a4f60e771832748ab786a2ca5487/dblp}, booktitle = {STOC}, crossref = {conf/stoc/STOC16}, editor = {DeMillo, Richard A.}, ee = {https://doi.org/10.1145/800057.808711}, interhash = {359f90690b826b132a8baa66e6b6120c}, intrahash = {2a04a4f60e771832748ab786a2ca5487}, keywords = {dblp}, pages = {446-456}, publisher = {ACM}, timestamp = {2024-04-10T05:34:11.000+0200}, title = {Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract)}, url = {http://dblp.uni-trier.de/db/conf/stoc/stoc84.html#VardiW84}, year = 1984 }