The following pages link to M. Minea (Q1856176):
Displayed 7 items.
- State space reduction using partial order techniques (Q1856177) (← links)
- Combining software and hardware verification techniques (Q1871861) (← links)
- A Calculus to Detect Guessing Attacks (Q3399200) (← links)
- (Q4255570) (← links)
- (Q4270073) (← links)
- (Q4552473) (← links)
- Foundations of Software Science and Computation Structures (Q5308451) (← links)