Cover Image

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)
Description
Physical Description:vi, 113 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages 105-109) and index.
ISBN:0817636250 (hard : alk. paper)
3764336250 (alk. paper)