Logics and Models of Concurrent Systems / edited by Krzysztof R. Apt.
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
1985.
|
| Series: | NATO ASI series. Computer and systems sciences ;
13. |
| Subjects: |
| Physical Description: | 1 online resource (volumes) |
|---|---|
| ISBN: | 9783642824555 3642824552 9783642824531 3642824536 |