dblp.uni-trier.dewww.uni-trier.de

Agnès Cougnard

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
1EEGerd 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)