T | |
---|---|
[Tho96] | Wolfgang Thomas.
Languages, Automata and Logics.
Technical Report 9607, Institut für Informatik und Praktische
Mathematik, Christian-Albrechts-Universität,
Kiel, Germany, mai 1996.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1