MPG.eBooks - Author Search Results

Cover Image

1

Static Analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

by Palsberg, Jens
Published 2000

Springer Berlin Heidelberg

Cover Image

2

Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Palsberg, Jens...”

Cover Image

3

Static Analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

Published 2000

Springer Berlin Heidelberg

Other Authors: “...Palsberg, Jens...”

Cover Image

4

Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Published 2018

Springer International Publishing

Other Authors: “...Palsberg, Jens...”

Cover Image

5

Tools and Algorithms for the Construction and Analysis of Systems : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice...

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Palsberg, Jens...”

Cover Image

6

Static Analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Palsberg, Jens...”

Cover Image

7

Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Palsberg, Jens...”