MPG.eBooks - Search Results

Cover Image

1

Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Published 2010

Springer Berlin Heidelberg

Cover Image

2

A Survey of Verification Techniques for Parallel Programs

by Barringer, Howard
Published 1985

Springer Berlin Heidelberg

Cover Image

3

Advances in Temporal Logic

Published 2000

Springer Netherlands

Cover Image

4

Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings

Published 1989

Springer Berlin Heidelberg