Find link

language:

Find link is a tool written by Edward Betts.

searching for Principles of Model Checking 2 found (11 total)

alternate case: principles of Model Checking

Kripke structure (model checking) (700 words) [view diff] case mismatch in snippet view article

ISBN 978-3-540-00296-3. Christel Baier; Joost-Pieter Katoen (2008). Principles of model checking. The MIT Press. pp. 20–21 and 94–95. ISBN 978-0-262-02649-9.

CTL* (1,570 words) [view diff] exact match in snippet view article find links to article

S2CID 15728260. Baier, Christel; Katoen, Joost-Pieter (2008-01-01). Principles of Model Checking (Representation and Mind Series). The MIT Press. ISBN 978-0262026499