👤

Howard Barringer

b. 1951 ยท 4 books

Books by Howard Barringer

Advances in temporal logic
Advances in temporal logic
2000
The Imperative Future
The Imperative Future
1996
A survey of verification techniques for parallel programs
A survey of verification techniques for parallel programs
1985
Up and down the temporal way
Up and down the temporal way
1985