URI(s)
- http://id.loc.gov/authorities/subjects/sh2008002946
- http://id.loc.gov/authorities/sh2008002946#concept
Components
- Verification
Variants
- Verification of computer systems
Closely Matching Concepts from Other Schemes
Sources
- found: Work cat.: 2007037603: Baier, Christel. Principles of model checking, 2008
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 2008-04-16: new
- 2008-05-22: revised
Alternate Formats
