Reasoning about concurrent actions in the trajectory semantics
by Choong-ho Yi
Bok Engelsk 1995
| Utgitt | Linköping : Department of Computer and Information Science, Linköping University , 1995
|
|---|---|
| Omfang | 90 s. : fig.
|
| Opplysninger | Avh. (tekn. lic.) - Universitetet i Linköping, 1995.
|
| Emner | |
| ISBN | 9178714990
|
