mirror of
https://github.com/Echtzeitsysteme/tchecker.git
synced 2024-05-20 20:00:44 +00:00
6 lines
224 B
Plaintext
6 lines
224 B
Plaintext
List of contributors to the TChecker project:
|
|
- Frédéric Herbreteau, Bordeaux INP, fh at labri.fr
|
|
- Gérald POINT, CNRS, gerald.point at labri.fr
|
|
- Ocan Sankur, CNRS, ocan.sankur at irisa.fr
|
|
- Alexander Lieb, TU Darmstadt
|