1
by Alur, Rajeev
Published 2004
Springer Berlin Heidelberg
Subjects: ...Mathematical Logic and Formal Languages...

2
Published 2004
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

3
by Alur, Rajeev
Published 2003
Springer Berlin Heidelberg
Subjects: ...Programming Languages, Compilers, Interpreters...

4
Published 1996
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...