%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 %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 = {2023-12-13T03:53:34.000+0100}, author = {Reeves, Steve and Streader, David}, biburl = {https://www.bibsonomy.org/bibtex/2d49ab524985024736fb9b669b5539141/admin}, 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 = {}, pages = {84-100}, series = {EPTCS}, timestamp = {2023-12-13T03:53:34.000+0100}, 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 }