%0 Conference Paper %1 conf/asm/SulskusP12 %A Sulskus, Gintautas %A Poppleton, Michael %B ABZ %D 2012 %E Derrick, John %E Fitzgerald, John S. %E Gnesi, Stefania %E Khurshid, Sarfraz %E Leuschel, Michael %E Reeves, Steve %E Riccobene, Elvinia %I Springer %K dblp %P 373-376 %T A Pattern for Modelling Fault Tolerant Systems in Event-B. %U http://dblp.uni-trier.de/db/conf/asm/abz2012.html#SulskusP12 %V 7316 %@ 978-3-642-30884-0

@inproceedings{conf/asm/SulskusP12, added-at = {2017-05-21T00:00:00.000+0200}, author = {Sulskus, Gintautas and Poppleton, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2f138afde965f080656d2c68936dcb1ee/dblp}, booktitle = {ABZ}, crossref = {conf/asm/2012}, editor = {Derrick, John and Fitzgerald, John S. and Gnesi, Stefania and Khurshid, Sarfraz and Leuschel, Michael and Reeves, Steve and Riccobene, Elvinia}, ee = {https://doi.org/10.1007/978-3-642-30885-7_35}, interhash = {1a646e93e70705c5cf57dc58fded8e3c}, intrahash = {f138afde965f080656d2c68936dcb1ee}, isbn = {978-3-642-30884-0}, keywords = {dblp}, pages = {373-376}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:05:56.000+0200}, title = {A Pattern for Modelling Fault Tolerant Systems in Event-B.}, url = {http://dblp.uni-trier.de/db/conf/asm/abz2012.html#SulskusP12}, volume = 7316, year = 2012 }