URI(s)
Variants
- Ouaknine, J. (Joël)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Formal modeling and analysis of timed systems, c2009:t.p. (Joël Ouaknine) verso (Oxford University, Computing Laboratory, Oxford, UK) p. [1] (J. Ouaknine)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 2009-10-16: new
- 2009-10-17: revised
Alternate Formats