Disambiguation evidence for Model Checking (book) via surface form
"Principles of Model Checking"
Triples (1)
Triples where some other subject referred to this entity
as "Principles of Model Checking".
Joost-Pieter Katoen
→
notableWork
→
"Principles of Model Checking"
ⓘ
↳ resolves to Model Checking (book)