Ordering method for reducing state space in compositional verification
- Publisher
- IEEE
- Issue Date
- 1999-10-12
- Language
- ENG
- Citation
1999 IEEE International Conference on Systems, Man, and Cybernetics 'Human Communication and Cybernetics', v.1, pp.0 - 0
- ISSN
- 0884-3627
- Appears in Collection
- EE-Conference Papers(학술회의논문)
- Files in This Item
- CF-52.pdf(489.74 kB)Download
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.