Agnès Cougnard

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

	2007
1		Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime: UPPAAL-Tiga: Time for Playing Games! CAV 2007: 121-125

Coauthor Index

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Gerd Behrmann	[1]
2	Alexandre David	[1]
3	Emmanuel Fleury	[1]
4	Kim Guldstrand Larsen (Kim G. Larsen)	[1]
5	Didier Lime	[1]