The following pages link to Bernd-Holger Schlingloff (Q2077758):
Displayed 9 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)
- (Q2751376) (← links)
- (Q2757841) (← links)
- (Q4250360) (← links)
- Expressive completeness of temporal logic of trees (Q4275690) (← links)
- (Q4437061) (← links)
- (Q4583844) (← links)
- Monitoring with Parametrized Extended Life Sequence Charts (Q4599827) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703996) (← links)