The following pages link to Jørn Lind-Nielsen (Q169902):
Displaying 5 items.
- (Q698108) (redirect page) (← links)
- Verification of hierarchical state/Event systems using reusability and compositionality (Q698109) (← links)
- Partial model checking of modal equations: a survey (Q1856172) (← links)
- (Q4818799) (← links)
- Verification of large state/event systems using compositionality and dependency analysis (Q5929098) (← links)