Safety Analysis Using Coloured Petri Nets
- Issue Date
- 1995
- Language
- KOR
- Citation
한국정보과학회 추계학술대회, pp.1415 - 1418
- 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.