Integration of Specification for Modeling and Specification for System Design

• Authors:

• Chang-Yu Wang;Kishor S. Trivedi

• Affiliations:

• -;-

• Venue:
• Proceedings of the 14th International Conference on Application and Theory of Petri Nets
• Year:
• 1993