Verifying temporal properties of systems
By: Julian Charles Bradfield.
Series: Progress in theoretical computer science
Publisher: Birkhäuser
Published: 1992
Place of publication: Boston
Language: eng
Number of pages: 113
Subjects: Automatic theorem proving.; Petri nets.; Verification (Logic)
Notes: Includes bibliographical references (p. 105-109) and index.