Fabrice Legond-Aubry
According to our database1,
Fabrice Legond-Aubry
authored at least 9 papers
between 2004 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
0
1
2
3
1
2
2
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
2009
Vérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle.
Tech. Sci. Informatiques, 2009
2008
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008
Proceedings of the Euro-Par 2008, 2008
2007
Proceedings of the 2007 International Conference on Parallel Processing (ICPP 2007), 2007
Proceedings of the Petri Nets and Other Models of Concurrency, 2007
2004
J. Object Technol., 2004