Veith, Helmut
URI(s)
Additional Information
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: 25 years of model checking, 2008:t.p. (Helmut Veith)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 2008-07-22: new
- 2013-08-23: revised
Alternate Formats