CTL<sup>*</sup> model checking on a shared-memory architecture.

Cornelia P. Inggs Howard Barringer CTL<sup>*</sup> model checking on a shared-memory architecture. 135-155 2006 29 Formal Methods in System Design 2 http://dx.doi.org/10.1007/s10703-006-0008-z db/journals/fmsd/fmsd29.html#InggsB06