%0 Conference Paper %1 conf/stoc/FeldmanH82 %A Feldman, Yishai A. %A Harel, David %B STOC %D 1982 %E Lewis, Harry R. %E Simons, Barbara B. %E Burkhard, Walter A. %E Landweber, Lawrence H. %I ACM %K dblp %P 181-195 %T A Probabilistic Dynamic Logic %U http://dblp.uni-trier.de/db/conf/stoc/stoc82.html#FeldmanH82 %@ 0-89791-067-2

@inproceedings{conf/stoc/FeldmanH82, added-at = {2018-11-06T00:00:00.000+0100}, author = {Feldman, Yishai A. and Harel, David}, biburl = {https://www.bibsonomy.org/bibtex/23151a08c5869142f85f09a65ee4351e4/dblp}, booktitle = {STOC}, crossref = {conf/stoc/STOC14}, editor = {Lewis, Harry R. and Simons, Barbara B. and Burkhard, Walter A. and Landweber, Lawrence H.}, ee = {https://doi.org/10.1145/800070.802191}, interhash = {3a8db25fef94c84bc96999eb0d10f2c0}, intrahash = {3151a08c5869142f85f09a65ee4351e4}, isbn = {0-89791-067-2}, keywords = {dblp}, pages = {181-195}, publisher = {ACM}, timestamp = {2018-11-15T15:57:46.000+0100}, title = {A Probabilistic Dynamic Logic}, url = {http://dblp.uni-trier.de/db/conf/stoc/stoc82.html#FeldmanH82}, year = 1982 }