MPG.eBooks - Author Search Results

Cover Image

1

Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings

by Ravn, Anders P
Published 1998

Springer Berlin Heidelberg

Cover Image

2

Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Other Authors: “...Ravn, Anders P....”

Cover Image

3

Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Ravn, Anders P....”

Cover Image

4

Published 1993

Springer Berlin Heidelberg

Other Authors: “...Ravn, Anders P....”