Integrated combination of JSD and formal notations
Journal
Proceedings of the National Science Council, Republic of China, Part A: Physical Science and Engineering
Series/Report No.
Proceedings of the National Science Council, Republic of China, Part A: Physical Science and Engineering
Journal Volume
22
Journal Issue
3
Start Page
344
End Page
357
ISSN
02556588
Date Issued
1998-05-01
Author(s)
Type
journal article