TY  - JOUR
TI  - Model Checking
AU  - Edmund M. Clarke
AU  - Bernd–Holger Schlingloff
PY  - 1999
UR  - https://knowledgetrend.com/paper/model-checking
ER  -