Author Search Results

1

Cover Image

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., Boer, Frank S., Olderog, Ernst-R<U+00fc>diger.
Published 2009

Get full text

Electronic

2

Cover Image

Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures /

Published 2009

Other Authors: '; “...Boer, Frank S....”
Get full text

Electronic

3

Cover Image

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /

Published 2013

Other Authors: '; “...Boer, Frank S....”
Get full text

Electronic

4

Cover Image

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /

Published 2013

Other Authors: '; “...Boer, Frank S....”
Get full text

Electronic

5

Cover Image

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Published 2010

Other Authors: '; “...Boer, Frank S....”
Get full text

Electronic