H. Barradas Vis

List of publications from the DBLP Bibliography Server - FAQ

* 2007

1 EE Didier Bert, H. Barradas: Propriétés de vivacité dans les systèmes B. Application à l'algorithme de Ricart-Agrawala. Technique et Science Informatiques 26(7): 853-882 (2007)

*	2007
1	EE	Didier Bert, H. Barradas: Propriétés de vivacité dans les systèmes B. Application à l'algorithme de Ricart-Agrawala. Technique et Science Informatiques 26(7): 853-882 (2007)

Coauthor Index