- Computer systems
- Verification of computer systems
- found: Work cat.: 2007037603: Baier, Christel. Principles of model checking, 2008
- 2008-04-16: new
- 2008-05-22: revised
The LC Linked Data Service welcomes any suggestions you might have about terminology used for a given heading or concept.
Would you like to suggest a change to this heading?
Please provide your name, email, and your suggestion so that we can begin assessing any terminology changes.
Fields denoted with an asterisk (*) are required.