Cited By
View all- Bontemps YHeymans PSchobbens P(2005)From Live Sequence Charts to State Machines and BackIEEE Transactions on Software Engineering10.1109/TSE.2005.13731:12(999-1014)Online publication date: 1-Dec-2005
- Weiss RRuf JKropf TRosenstiel W(2005)Symbolic Model Checking and Simulation with Temporal AssertionsAdvances in Design and Specification Languages for SoCs10.1007/0-387-26151-6_20(275-291)Online publication date: 2005
- Ruf JWeiss RKropf TRosenstiel W(2004)Modeling and Formal Verification of Production Automation SystemsIntegration of Software Specification Techniques for Applications in Engineering10.1007/978-3-540-27863-4_29(541-566)Online publication date: 2004
- Show More Cited By