Verifying concurrent processes using temporal logic
Brent T. Hailpern
| Year of publication: |
1982
|
|---|---|
| Authors: | Hailpern, Brent T. |
| Publisher: |
Berlin [u.a.] : Springer |
| Subject: | Programmierung | Verifikation |
| Extent: | VIII, 208 S. : graph. Darst. |
|---|---|
| Series: | Lecture notes in computer science. - Berlin ; Heidelberg [u.a.] : Springer, ISSN 0302-9743. - Vol. 129 |
| Type of publication: | Book / Working Paper |
| Type of publication (narrower categories): | Dissertation u.a. Prüfungsschriften |
| Language: | English |
| Thesis: | Zugl.: Stanford, Calif., Univ., Diss. |
| ISBN: | 3-540-11205-7 ; 0-387-11205-7 |
| Source: |
Persistent link: https://www.econbiz.de/10004009525