- Publisher:
- IEEE
- Publication date:
- 2001-01-01
- URN:
-
uuid:ec15896d-6c2a-4685-8a0c-53415a979fcc
- Local pid:
- cs:613
- Copyright date:
- 2001
Conference item
Composition and refinement of behavioral specifications
Actions
Authors
Bibliographic Details
Terms of use
If you are the owner of this record, you can report an update to it here: Report update to this record