URI(s)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Sources
- found: Logical analysis of hybrid systems, c2010:t.p. (André Platzer) title page verso (Carnegie Mellon University, School of computer Science, Pittsburgh, PA, USA)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 2012-07-02: new
- 2014-06-11: revised
Alternate Formats