A Temporal Logic for Dynamic Systems and its Application to SDL
- Issue Date
- 2001
- Language
- ENG
- Citation
nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD'01)
- Appears in Collection
- RIMS Conference Papers
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.