Title | Integration of Specification for Modeling and Specification for System Design. |
Publication Type | Conference Paper |
Year of Publication | 1993 |
Authors | C-Y Wang, and KS Trivedi |
Conference Name | Application and Theory of Petri Nets |
Date Published | 01/1993 |