Kesten, Yonit; Pnueli, Amir; Raviv, Li-On; Shahar, Elad Model checking with strong fairness. (English) Zbl 1100.68066 Form. Methods Syst. Des. 28, No. 1, 57-84 (2006). MSC: 68Q60 PDFBibTeX XMLCite \textit{Y. Kesten} et al., Form. Methods Syst. Des. 28, No. 1, 57--84 (2006; Zbl 1100.68066) Full Text: DOI
Bloem, Roderick; Gabow, Harold N.; Somenzi, Fabio An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps. (English) Zbl 1110.68161 Form. Methods Syst. Des. 28, No. 1, 37-56 (2006). MSC: 68W05 68Q45 68Q60 PDFBibTeX XMLCite \textit{R. Bloem} et al., Form. Methods Syst. Des. 28, No. 1, 37--56 (2006; Zbl 1110.68161) Full Text: DOI