Shelfclass_id | 3.F.4 |
Sortkey | HAILPERN, BRENT T |
Authors | Brent T. Hailpern |
Title | Verifying Concurrent Processes Using Temporal Logic |
Publisher | Springer-Verlag |
Year | 1982 |
Languages | eng |
Isbn | 0387112057, 3540112057 |
Series | Lecture Notes in Computer Science |
Volume | 129 |
Issn | 0302-9743 |
Description | viii, 208 p. ill. 25 cm |
Record date | 20110328 |
Location | New York |
Keywords | Parallel processing (Electronic computers), Computer programs, Verification |
Notes | Includes index. |