Marc Lettrari
According to our database1,
Marc Lettrari
authored at least 4 papers
between 2001 and 2005.
Collaborative distances:
Collaborative distances:
Timeline
2001
2002
2003
2004
2005
0
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2005
PhD thesis, 2005
2003
Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems.
Proceedings of the FME 2003: Formal Methods, 2003
2002
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002
2001
Proceedings of the «UML» 2001, 2001