Mȩski, Artur; Penczek, Wojciech; Półrola, Agata BDD-based bounded model checking for temporal properties of 1-safe Petri nets. (English) Zbl 1238.68086 Fundam. Inform. 109, No. 3, 305-321 (2011). Reviewer: Maciej Koutny (Newcastle upon Tyne) MSC: 68Q60 68Q85 68Q01 03B44 68N19 68M14 PDFBibTeX XMLCite \textit{A. Mȩski} et al., Fundam. Inform. 109, No. 3, 305--321 (2011; Zbl 1238.68086) Full Text: DOI
Heinemann, Bernhard The complexity of certain modal formulas on binary ramified subset trees. (English) Zbl 0951.03010 Fundam. Inform. 39, No. 3, 259-272 (1999). Reviewer: J.Šefránek (Bratislava) MSC: 03B42 03B45 68T30 68T27 PDFBibTeX XMLCite \textit{B. Heinemann}, Fundam. Inform. 39, No. 3, 259--272 (1999; Zbl 0951.03010)