Guillaume Gardey
According to our database1,
Guillaume Gardey
authored at least 5 papers
between 2003 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
2006
Theory Pract. Log. Program., 2006
2005
Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2003
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003