The following pages link to Akio Nakata (Q3044803):
Displayed 8 items.
- (Q3044804) (← links)
- (Q4253344) (← links)
- (Q4407370) (← links)
- (Q4548308) (← links)
- (Q4703895) (← links)
- (Q4808856) (← links)
- Automated Technology for Verification and Analysis (Q5394188) (← links)
- A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA (Q5484905) (← links)