MPG.eBooks - Author Search Results

Cover Image

1

A Survey of Verification Techniques for Parallel Programs

by Barringer, Howard
Published 1985

Springer Berlin Heidelberg

Cover Image

2

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

Published 1989

Springer Berlin Heidelberg

Other Authors: “...Barringer, Howard...”

Cover Image

3

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

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Barringer, Howard...”

Cover Image

4

Advances in Temporal Logic

Published 2000

Springer Netherlands

Other Authors: “...Barringer, Howard...”