Specification and analysis of real-time and hybrid systems in rewriting logic
Peter Csaba Ölveczky
Bok Engelsk 2000
| Utgitt | [Bergen] : Department of Computer Science, University of Bergen , 2000
|
|---|---|
| Omfang | 270 s.
|
| Opplysninger | Avhandling (dr. scient.) - Universitetet i Bergen, 2000
|
| Emner |
