The following pages link to Holger Schlingloff (Q2077758):
Displaying 13 items.
- Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker (Q2077760) (← links)
- Model checking. (Q2751376) (← links)
- (Q2757841) (← links)
- (Q2848065) (redirect page) (← links)
- Modeling and model checking web services (Q2848067) (← links)
- Finding Uniform Strategies for Multi-agent Systems (Q3582739) (← links)
- (Q4250360) (← links)
- Expressive completeness of temporal logic of trees (Q4275690) (← links)
- Relation algebra and modal logics (Q4362879) (← links)
- (Q4437061) (← links)
- (Q4583844) (← links)
- Monitoring with Parametrized Extended Life Sequence Charts (Q4599827) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703996) (← links)