The following pages link to Susanne Graf (Q453527):
Displaying 35 items.
- Achieving distributed control through model checking (Q453529) (← links)
- Building distributed controllers for systems with priorities (Q541297) (← links)
- A logic for the specification and proof of regular controllable processes of CCS (Q1080653) (← links)
- (Q1346646) (redirect page) (← links)
- Property preserving abstractions for the verification of concurrent systems (Q1346649) (← links)
- Compositional minimisation of finite state systems using interface specifications (Q1816922) (← links)
- (Q2754117) (← links)
- (Q2779769) (← links)
- Distributed Implementation of Systems with Multiparty Interactions and Priorities (Q3095232) (← links)
- (Q3343431) (← links)
- (Q3343432) (← links)
- Ensuring Properties of Interaction Systems (Q3593075) (← links)
- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification (Q3614835) (← links)
- (Q3690206) (← links)
- (Q3703286) (← links)
- A logic for the description of non-deterministic programs and their properties (Q3719799) (← links)
- A modal characterization of observational congruence on finite terms of CCS (Q3719814) (← links)
- (Q3750116) (← links)
- (Q3790614) (← links)
- (Q4037089) (← links)
- (Q4037383) (← links)
- (Q4413756) (← links)
- (Q4450962) (← links)
- (Q4531756) (← links)
- (Q4733383) (← links)
- (Q4806206) (← links)
- Methods for Knowledge Based Controlling of Distributed Systems (Q4931282) (← links)
- Property preserving abstractions under parallel composition (Q5044770) (← links)
- (Q5137879) (← links)
- (Q5294161) (← links)
- Verification: Theory and Practice (Q5305639) (← links)
- Model Checking Software (Q5308370) (← links)
- Model Checking Software (Q5308384) (← links)
- An Approach to Modelling and Verification of Component Based Systems (Q5448780) (← links)
- Formal Methods for the Design of Real-Time Systems (Q5494311) (← links)
