Wijs, A. J.; Dashti, M. Torabi Extended beam search for non-exhaustive state space analysis. (English) Zbl 1269.68048 J. Log. Algebr. Program. 81, No. 1, 46-69 (2012). MSC: 68P10 68N30 68Q60 68W05 PDFBibTeX XMLCite \textit{A. J. Wijs} and \textit{M. T. Dashti}, J. Log. Algebr. Program. 81, No. 1, 46--69 (2012; Zbl 1269.68048) Full Text: DOI
Edelkamp, Stefan; Schuppan, Viktor; Bošnački, Dragan; Wijs, Anton; Fehnker, Ansgar; Aljazzar, Husain Survey on directed model checking. (English) Zbl 1226.68042 Peled, Doron A. (ed.) et al., Model checking and artificial intelligence. 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-00430-8/pbk). Lecture Notes in Computer Science 5348. Lecture Notes in Artificial Intelligence, 65-89 (2009). MSC: 68Q60 PDFBibTeX XMLCite \textit{S. Edelkamp} et al., Lect. Notes Comput. Sci. 5348, 65--89 (2009; Zbl 1226.68042) Full Text: DOI
Bortnik, E.; Trčka, N.; Wijs, A. J.; Luttik, B.; Van De Mortel-Fronczak, J. M.; Baeten, J. C. M.; Fokkink, W. J.; Rooda, J. E. Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal. (English) Zbl 1088.68523 J. Log. Algebr. Program. 65, No. 2, 51-104 (2005). MSC: 68M20 68M15 90B30 PDFBibTeX XMLCite \textit{E. Bortnik} et al., J. Log. Algebr. Program. 65, No. 2, 51--104 (2005; Zbl 1088.68523) Full Text: DOI