Matthias Colin

	2003
2		Matthias Colin, Xavier Thirioux, Marc Pantel: Temporal Logic Based Static Analysis for Non-uniform Behaviours. FMOODS 2003: 94-108
	2000
1		Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé: Typing Concurrent Objects and Actors. L'OBJET 6(1): (2000)

Coauthor Index

1	Fabien Dagnat	[1]
2	Marc Pantel	[1] [2]
3	Patrick Sallé	[1]
4	Xavier Thirioux	[2]