.:. Browse > List by authors > Andriamiarina .:.

4 documents ordered by : Date Title first author name document type Submit date

Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms Andriamiarina M. B., Méry D., Singh N. K. Dans iFM - 10th International Conference on integrated Formal Methods - 2013 (2013) [hal-00819256 - version 1]

Stepwise Development Of Distributed Vertex Coloring Algorithms (Full Report) Andriamiarina M. B., Méry D. (2011) [inria-00606254 - version 1]

Stepwise Development of Distributed Algorithms (Research Abstract) Andriamiarina M. B. [inria-00606204 - version 1]

Stepwise Development of Distributed Vertex Colouring Algorithms (Abstract) Andriamiarina M. B., Méry D. [inria-00606201 - version 1]