URI(s)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Advances in verification of time petri nets and timed automata, c2006:t.p. (Agata Półrola) verso (Dr. Agata Półrola, Fac. of Mathematics, Univ. of Lodz, Poland)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 2006-08-01: new
- 2006-08-02: revised
Alternate Formats