Up and down the temporal way

View on Open Library

Up and down the temporal way

by Howard Barringer

No reviews yet

First published: 1985 1 language

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Howard Barringer

Advances in temporal logic

Advances in temporal logic

The Imperative future

The Imperative future

A survey of verification techniques for parallel programs

A survey of verification techniques for ...

The Imperative Future

The Imperative Future

Temporal logic in specification

Temporal logic in specification