R | |
---|---|
[RP03] | Stéphane Riedweg et
Sophie Pinchinat.
Quantified Loop-mu-calculus for Control under
Partial Observation.
Research Report 4949, IRISA,
Septembre 2003.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1