3
by Jayaraman, Bharat
Published 2004
Springer Berlin Heidelberg

4
by Desel, Jörg
Published 2004
Springer Berlin Heidelberg

5
by Baier, Christel
Published 2004
Springer Berlin Heidelberg

6
by Kozen, Dexter
Published 2004
Springer Berlin Heidelberg

7
by Rattray, Charles
Published 2004
Springer Berlin Heidelberg

8
by Karhumäki, Juhani
Published 2004
Springer Berlin Heidelberg

9
by Brim, Luboš
Published 2002
Springer-Verlag Berlin Heidelberg

10
by Barthe, Gilles
Published 2002
Springer-Verlag Berlin Heidelberg

12
by Anderson, Stuart
Published 2002
Springer-Verlag Berlin Heidelberg

14
by Hu, Zhenjiang
Published 2002
Springer-Verlag Berlin Heidelberg

15
by Hermenegildo, Manuel V
Published 2002
Springer-Verlag Berlin Heidelberg

16
by Adriaans, Pieter
Published 2002
Springer-Verlag Berlin Heidelberg

18
by Hermanns, Holger
Published 2002
Springer-Verlag Berlin Heidelberg

19
by Sangiovanni-Vincentelli, Alberto
Published 2002
Springer-Verlag Berlin Heidelberg