S | |
---|---|
[Ser06] | Olivier Serre. Parity games played on transition graphs of one-counter processes. In FoSSaCS'06, Lecture Notes in Computer Science 3921, pages 337-351. Springer-Verlag, mars 2006. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1