Sabina Akhtar. Formal Verification of Distributed Algorithms using PlusCal-2. (Vérification Formelle d'Algorithmes Distribués en PlusCal-2). PhD thesis, University of Lorraine, Nancy, France, 2012. [doi]
@phdthesis{hal-2286, title = {Formal Verification of Distributed Algorithms using PlusCal-2. (Vérification Formelle d'Algorithmes Distribués en PlusCal-2)}, author = {Sabina Akhtar}, year = {2012}, url = {https://tel.archives-ouvertes.fr/tel-00815570}, researchr = {https://researchr.org/publication/hal-2286}, cites = {0}, citedby = {0}, school = {University of Lorraine, Nancy, France}, }