%0 Conference Paper %1 journals/corr/abs-1106-4095 %A Reeves, Steve %A Streader, David %B Refine@FM %D 2011 %E Derrick, John %E Boiten, Eerke A. %E Reeves, Steve %K dblp %P 84-100 %T Refinement for Probabilistic Systems with Nondeterminism %U http://dblp.uni-trier.de/db/series/eptcs/eptcs55.html#abs-1106-4095 %V 55

@inproceedings{journals/corr/abs-1106-4095, added-at = {2021-07-25T00:00:00.000+0200}, author = {Reeves, Steve and Streader, David}, biburl = {https://www.bibsonomy.org/bibtex/2d49ab524985024736fb9b669b5539141/dblp}, booktitle = {Refine@FM}, crossref = {journals/corr/abs-1106-3488}, editor = {Derrick, John and Boiten, Eerke A. and Reeves, Steve}, ee = {http://arxiv.org/abs/1106.4095}, interhash = {8fde91e65c3942913ef7685073542aca}, intrahash = {d49ab524985024736fb9b669b5539141}, keywords = {dblp}, pages = {84-100}, series = {EPTCS}, timestamp = {2024-04-10T07:21:11.000+0200}, title = {Refinement for Probabilistic Systems with Nondeterminism}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs55.html#abs-1106-4095}, volume = 55, year = 2011 }