Inproceedings,
A Probabilistic Dynamic Logic
Y. Feldman, and D. Harel.STOC, page 181-195. ACM, (1982)
Meta data
- BibTeX key
- conf/stoc/FeldmanH82
- entry type
- inproceedings
- booktitle
- STOC
- year
- 1982
- pages
- 181-195
- publisher
- ACM
- crossref
- conf/stoc/STOC14
- ee
- https://doi.org/10.1145/800070.802191
- isbn
- 0-89791-067-2
- url
- http://dblp.uni-trier.de/db/conf/stoc/stoc82.html#FeldmanH82
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}