URI(s)
Variants
- Chatterjee, K. (Krishnendu)
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, c2010:t.p. (Krishnendu Chatterjee) p. [1] (K. Chatterjee)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 2010-09-20: new
- 2021-06-24: revised
Alternate Formats