%0 Conference Paper %1 conf/isola/LaneseLBJSSZ14 %A Lanese, Ivan %A Lienhardt, Michael %A Bravetti, Mario %A Johnsen, Einar Broch %A Schlatte, Rudolf %A Stolz, Volker %A Zavattaro, Gianluigi %B ISoLA (2) %D 2014 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 22-36 %T Fault Model Design Space for Cooperative Concurrency. %U http://dblp.uni-trier.de/db/conf/isola/isola2014-2.html#LaneseLBJSSZ14 %V 8803 %@ 978-3-662-45230-1

@inproceedings{conf/isola/LaneseLBJSSZ14, added-at = {2022-01-03T00:00:00.000+0100}, author = {Lanese, Ivan and Lienhardt, Michael and Bravetti, Mario and Johnsen, Einar Broch and Schlatte, Rudolf and Stolz, Volker and Zavattaro, Gianluigi}, biburl = {https://www.bibsonomy.org/bibtex/24cb2d07b0c94aa05d4f617d52753cc22/dblp}, booktitle = {ISoLA (2)}, crossref = {conf/isola/2014-2}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-662-45231-8_3}, interhash = {ab03586a62db20299160e885d1f00d68}, intrahash = {4cb2d07b0c94aa05d4f617d52753cc22}, isbn = {978-3-662-45230-1}, keywords = {dblp}, pages = {22-36}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:51:33.000+0200}, title = {Fault Model Design Space for Cooperative Concurrency.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2014-2.html#LaneseLBJSSZ14}, volume = 8803, year = 2014 }