1
by Dershowitz, Nachum
Published 2004
Springer Berlin Heidelberg

2
by Alur, Rajeev
Published 2004
Springer Berlin Heidelberg

3
by Larsen, Kim G
Published 2004
Springer Berlin Heidelberg

4
by Ferscha, Alois
Published 2004
Springer Berlin Heidelberg

7
by Hunt, Jr, Warren A
Published 2003
Springer Berlin Heidelberg

8
by Hinchey, Michael G
Published 2003
Springer Berlin Heidelberg

9
by Walter, Colin D
Published 2003
Springer Berlin Heidelberg

10
by Yang, Laurence T
Published 2004
Springer Berlin Heidelberg

11
by Joseph, Mathai
Published 2000
Springer-Verlag Berlin Heidelberg

12
by Thomas, Peter
Published 2000
Springer-Verlag Berlin Heidelberg

13
by Koornneef, Floor
Published 2000
Springer-Verlag Berlin Heidelberg

14
by Robertson, Paul
Published 2001
Springer-Verlag Berlin Heidelberg

15
by Davidson, Jack
Published 2001
Springer-Verlag Berlin Heidelberg

16
by Benedetto, Maria Domenica
Published 2001
Springer-Verlag Berlin Heidelberg

18
by Attali, Isabelle
Published 2001
Springer-Verlag Berlin Heidelberg

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

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