Principles of Model Checking
Principles of Model Checking is one of 9,000 studies in the ScholarPulse dataset. Key details — Authors: Christel Baier, Joost-Pieter Katoen; Year: 2008; Field: Formal Methods in Verification.
| Authors | Christel Baier, Joost-Pieter Katoen |
|---|---|
| Year | 2008 |
| Field | Formal Methods in Verification |
| Times cited | 4928 |
| Type | book |
| DOI / link | https://openalex.org/W1498432697 |