%0 Conference Paper %1 conf/forte/SternD96 %A Stern, Ulrich %A Dill, David L. %B FORTE %D 1996 %E Gotzhein, Reinhard %E Bredereke, Jan %I Chapman & Hall %K dblp %P 333-348 %T A New Scheme for Memory-Efficient Probabilistic Verification. %U http://dblp.uni-trier.de/db/conf/forte/forte1996.html#SternD96 %V 69 %@ 0-412-79490-X

@inproceedings{conf/forte/SternD96, added-at = {2002-01-03T00:00:00.000+0100}, author = {Stern, Ulrich and Dill, David L.}, biburl = {https://www.bibsonomy.org/bibtex/2a16d99499d3a7b8227bb9945978afd77/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1996}, date = {2002-01-03}, description = {dblp}, editor = {Gotzhein, Reinhard and Bredereke, Jan}, interhash = {7d5e665c2883f7e6c6c31108afae0785}, intrahash = {a16d99499d3a7b8227bb9945978afd77}, isbn = {0-412-79490-X}, keywords = {dblp}, pages = {333-348}, publisher = {Chapman & Hall}, series = {IFIP Conference Proceedings}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {A New Scheme for Memory-Efficient Probabilistic Verification.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1996.html#SternD96}, volume = 69, year = 1996 }