%0 Journal Article %1 journals/fac/AlbertFPR15 %A Albert, Elvira %A Fernández, Jesús Correas %A Puebla, Germán %A Román-Díez, Guillermo %D 2015 %J Formal Aspects Comput. %K dblp %N 4 %P 665-699 %T Quantified abstract configurations of distributed systems. %U http://dblp.uni-trier.de/db/journals/fac/fac27.html#AlbertFPR15 %V 27

@article{journals/fac/AlbertFPR15, added-at = {2022-05-09T00:00:00.000+0200}, author = {Albert, Elvira and Fernández, Jesús Correas and Puebla, Germán and Román-Díez, Guillermo}, biburl = {https://www.bibsonomy.org/bibtex/24457215036e0b7a42a8736a104c25110/dblp}, ee = {https://doi.org/10.1007/s00165-014-0321-z}, interhash = {b62be6541f73a88bb575721a6063e590}, intrahash = {4457215036e0b7a42a8736a104c25110}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 4, pages = {665-699}, timestamp = {2024-04-09T05:37:30.000+0200}, title = {Quantified abstract configurations of distributed systems.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac27.html#AlbertFPR15}, volume = 27, year = 2015 }