ENGLISH

Verifying Concurrent Processes Using Temporal Logic

By Brent T. Hailpern (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1982
ISBN
978-3-540-11205-1, 978-3-540-39034-3
DOI
10.1007/3-540-11205-7
Language
english
Format
PDF
Filesize
5 MB (5242566 bytes)
Series
Lecture Notes in Computer Science 129
Edition
1
Pages
209\216
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Logics and Meanings of Programs; Programming Techn

Similar books