Delta State University

Cover image for Verifying concurrent processes using temporal logic / Brent T. Hailpern.
Verifying concurrent processes using temporal logic / Brent T. Hailpern.
Title:
Verifying concurrent processes using temporal logic / Brent T. Hailpern.
Personal Author:
Hailpern, Brent T. (Brent Tzion), 1955-
Publisher:
Berlin ; New York : Springer-Verlag,
Publication Date:
1982
ISBN:
9780387112053
Series Search:
Lecture notes in computer science
General Note:
Includes index.
Bibliography Note:
Bibliography: p. [203]-208.
Content Type:
text
Carrier Type:
volume
MSU Volume:
129.
Language:
English
Subject:
Parallel processing (Electronic computers)

Computer programs -- Verification.
No. of Holds:

Instructional Resources Center     |      University Archives and Museum      |      Roberts-LaForge Library