Principal contractors |
Contact person |
Local project web pages |
|
|
|
LIAFA,
University Paris 7, France |
Ahmed Bouajjani (coordinator) |
|
CNET-France Telecom,
Lannion, France
|
Yves-Marie-Quemener
|
|
University Liege
, Belgium |
Bernard Boigelot
Pierre Wolper
| |
University of Edinburgh
, Scotland |
Javier Esparza
| |
University of Uppsala
, Sweden |
Bengt Jonsson
Parosh A. Abdulla
| |
VERIMAG
, Grenoble, France |
Joseph Sifakis
Yassine Lakhnech
| |
Weizman Institute
, Israel |
Amir Pnueli
| |
|
|
|
|
|
|
|
|
|
Observers |
Contact person |
|
Ericsson Utvecklings AB
, Sweden |
Thomas Arts
| |
Siemens AG
, Germany |
Klaus Winkelmann
| |