%0 Conference Paper %1 conf/fm/BicarreguiDW96 %A Bicarregui, Juan %A Dick, Jeremy %A Woods, Eoin %B FME %D 1996 %E Gaudel, Marie-Claude %E Woodcock, Jim %I Springer %K dblp %P 60-73 %T Quantitative Analysis of an Application of Formal Methods. %U http://dblp.uni-trier.de/db/conf/fm/fme1996.html#BicarreguiDW96 %V 1051 %@ 3-540-60973-3

@inproceedings{conf/fm/BicarreguiDW96, added-at = {2017-09-16T00:00:00.000+0200}, author = {Bicarregui, Juan and Dick, Jeremy and Woods, Eoin}, biburl = {https://www.bibsonomy.org/bibtex/202492d88cb1f48214e6022308d77c6a3/dblp}, booktitle = {FME}, crossref = {conf/fm/1996}, editor = {Gaudel, Marie-Claude and Woodcock, Jim}, ee = {https://doi.org/10.1007/3-540-60973-3_80}, interhash = {c2df38488d3c3bab615bb19992082544}, intrahash = {02492d88cb1f48214e6022308d77c6a3}, isbn = {3-540-60973-3}, keywords = {dblp}, pages = {60-73}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:23.000+0200}, title = {Quantitative Analysis of an Application of Formal Methods.}, url = {http://dblp.uni-trier.de/db/conf/fm/fme1996.html#BicarreguiDW96}, volume = 1051, year = 1996 }