URI(s)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Sources
- found: TACAS 2003 (2003 : Warsaw, Poland). Tools and algorithms for the construction and analysis of systems, 2003:CIP t.p. (Hubert Garavel) ds (b. July 17, 1963)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 2003-03-12: new
Alternate Formats