D | |
---|---|
[DKL09] | Christian Dax, Felix Klaedtke et Martin Lange. On Regular Temporal Logics with Past. In ICALP'09, Lecture Notes in Computer Science 5556, pages 175-187. Springer-Verlag, juillet 2009. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1