|
[And10]
E. André.
An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems.
Ph.D. thesis, L'École Normale Supérieure de Cachan.
2010.
[bib]
http://www.lsv.ens-cachan.fr/~andre/
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.lsv.ens-cachan.fr/~andre/
|