Holger Hermanns, Joost-Pieter Katoen. Guest editors introduction: Model checking in a nutshell. Journal of Logic and Algebraic Programming, 52-53:1-5, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.