Verifying Concurrent Processes Using Temporal Logic

Bibliographic Details
Main Author: Hailpern, B. T.
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1982, 1982
Edition:1st ed. 1982
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Physical Description:VIII, 209 p online resource
ISBN:9783540390343