Marić, Filip Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL. (English) Zbl 1208.68205 Theor. Comput. Sci. 411, No. 50, 4333-4356 (2010). MSC: 68T20 68Q60 PDF BibTeX XML Cite \textit{F. Marić}, Theor. Comput. Sci. 411, No. 50, 4333--4356 (2010; Zbl 1208.68205) Full Text: DOI
Rybakov, Vladimir Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition. (English) Zbl 1209.03011 Theor. Comput. Sci. 411, No. 50, 4323-4332 (2010). MSC: 03B44 PDF BibTeX XML Cite \textit{V. Rybakov}, Theor. Comput. Sci. 411, No. 50, 4323--4332 (2010; Zbl 1209.03011) Full Text: DOI
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo Weak bisimulation for probabilistic timed automata. (English) Zbl 1208.68160 Theor. Comput. Sci. 411, No. 50, 4291-4322 (2010). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{R. Lanotte} et al., Theor. Comput. Sci. 411, No. 50, 4291--4322 (2010; Zbl 1208.68160) Full Text: DOI
D’agostino, Giovanna; Lenzi, Giacomo On the \(\mu \)-calculus over transitive and finite transitive frames. (English) Zbl 1208.68145 Theor. Comput. Sci. 411, No. 50, 4273-4290 (2010). MSC: 68Q60 03B45 PDF BibTeX XML Cite \textit{G. D'agostino} and \textit{G. Lenzi}, Theor. Comput. Sci. 411, No. 50, 4273--4290 (2010; Zbl 1208.68145) Full Text: DOI