Verifying temporal properties of systems /

Bibliographic Details

Main Author:	Bradfield, Julian Charles, 1964-
Format:	Book
Language:	English
Published:	Boston : Birkhäuser, [1992]
Series:	Progress in theoretical computer science.
Subjects:	Automatic theorem proving. Petri nets. Verification (Logic)