MPG.eBooks - Author Search Results

Cover Image

1

STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science Cachan, France, February 13–15, 1992 Proceedings

by Finkel, Alain
Published 1992

Springer

Cover Image

2

Computer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

by Berry, Gérard
Published 2001

Springer-Verlag Berlin Heidelberg

Other Authors: “...Finkel, Alain...”

Cover Image

3

STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings

Published 1992

Springer Berlin Heidelberg

Other Authors: “...Finkel, Alain...”

Cover Image

4

Reachability Problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

Published 2012

Springer Berlin Heidelberg

Other Authors: “...Finkel, Alain...”

Cover Image

5

Computer Aided Verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

Other Authors: “...Finkel, Alain...”

Cover Image

6

STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

Other Authors: “...Finkel, Alain...”