%0 Conference Paper %1 conf/forte/LopezNN16 %A López, Hugo A. %A Nielson, Flemming %A Nielson, Hanne Riis %B FORTE %D 2016 %E Albert, Elvira %E Lanese, Ivan %I Springer %K %P 195-211 %T Enforcing Availability in Failure-Aware Communicating Systems. %U http://dblp.uni-trier.de/db/conf/forte/forte2016.html#LopezNN16 %V 9688 %@ 978-3-319-39569-2

@inproceedings{conf/forte/LopezNN16, added-at = {2023-12-13T08:50:51.000+0100}, author = {López, Hugo A. and Nielson, Flemming and Nielson, Hanne Riis}, biburl = {https://www.bibsonomy.org/bibtex/20b87906b0527fdbf03d8c7db453dc216/admin}, booktitle = {FORTE}, crossref = {conf/forte/2016}, editor = {Albert, Elvira and Lanese, Ivan}, ee = {https://www.wikidata.org/entity/Q59416291}, interhash = {c81d3d7ea89563a3367af1d95cf90740}, intrahash = {0b87906b0527fdbf03d8c7db453dc216}, isbn = {978-3-319-39569-2}, keywords = {}, pages = {195-211}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T08:50:51.000+0100}, title = {Enforcing Availability in Failure-Aware Communicating Systems.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2016.html#LopezNN16}, volume = 9688, year = 2016 }