The following pages link to Franco Mazzanti (Q246446):
Displaying 8 items.
- A state/event-based model-checking approach for the analysis of abstract system properties (Q617925) (← links)
- Compositional verification of concurrent systems by combining bisimulations (Q2147689) (← links)
- Model Checking Value-Passing Modal Specifications (Q3455083) (← links)
- Verifying Properties of Systems Relying on Attribute-Based Communication (Q5047043) (← links)
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities (Q5164168) (← links)
- From EU Projects to a Family of Model Checkers (Q5256356) (← links)
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (Q5963087) (← links)
- Few trapped quantum dipoles: quantum versus classical structures (Q6490526) (← links)
