%0 Journal Article %1 freitas_07_fdr %A Freitas, Leo %A Woodcock, Jim %C Amsterdam, The Netherlands, The Netherlands %D 2007 %I Elsevier Science Publishers B. V. %J Electron. Notes Theor. Comput. Sci. %K 2007 refinement model_checking fdr csp %P 19--34 %R 10.1016/j.entcs.2006.08.042 %T FDR Explorer %U http://dx.doi.org/10.1016/j.entcs.2006.08.042 %V 187

@article{freitas_07_fdr, added-at = {2009-02-11T20:50:21.000+0100}, address = {Amsterdam, The Netherlands, The Netherlands}, author = {Freitas, Leo and Woodcock, Jim}, biburl = {https://www.bibsonomy.org/bibtex/2814d87cda811f4e0adc2c6e881373a89/leonardo}, citeulike-article-id = {1577763}, doi = {10.1016/j.entcs.2006.08.042}, interhash = {60f087198c0386f74b65803363792e21}, intrahash = {814d87cda811f4e0adc2c6e881373a89}, issn = {1571-0661}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {2007 refinement model_checking fdr csp}, pages = {19--34}, posted-at = {2007-08-21 02:01:04}, priority = {3}, publisher = {Elsevier Science Publishers B. V.}, timestamp = {2009-02-11T20:50:21.000+0100}, title = {FDR Explorer}, url = {http://dx.doi.org/10.1016/j.entcs.2006.08.042}, volume = 187, year = 2007 }