Wang, Shuling; Zhan, Naijun; Zhang, Lijun A compositional modelling and verification framework for stochastic hybrid systems. (English) Zbl 1370.68220 Formal Asp. Comput. 29, No. 4, 751-775 (2017). MSC: 68Q85 68Q60 68Q87 93C30 93C83 PDF BibTeX XML Cite \textit{S. Wang} et al., Formal Asp. Comput. 29, No. 4, 751--775 (2017; Zbl 1370.68220) Full Text: DOI
Moszkowski, Ben; Guelev, Dimitar P. An application of temporal projection to interleaving concurrency. (English) Zbl 1370.68216 Formal Asp. Comput. 29, No. 4, 705-750 (2017). MSC: 68Q85 03B44 PDF BibTeX XML Cite \textit{B. Moszkowski} and \textit{D. P. Guelev}, Formal Asp. Comput. 29, No. 4, 705--750 (2017; Zbl 1370.68216) Full Text: DOI
Junges, Sebastian; Guck, Dennis; Katoen, Joost-Pieter; Rensink, Arend; Stoelinga, Mariëlle Fault trees on a diet: automated reduction by graph rewriting. (English) Zbl 1370.68063 Formal Asp. Comput. 29, No. 4, 651-703 (2017). MSC: 68P05 68M15 68Q42 94C12 PDF BibTeX XML Cite \textit{S. Junges} et al., Formal Asp. Comput. 29, No. 4, 651--703 (2017; Zbl 1370.68063) Full Text: DOI
Hatefi, Hassan; Wimmer, Ralf; Braitling, Bettina; Ferrer Fioriti, Luis María; Becker, Bernd; Hermanns, Holger Cost vs. time in stochastic games and Markov automata. (English) Zbl 1370.68173 Formal Asp. Comput. 29, No. 4, 629-649 (2017). MSC: 68Q45 68Q85 68Q87 91A15 PDF BibTeX XML Cite \textit{H. Hatefi} et al., Formal Asp. Comput. 29, No. 4, 629--649 (2017; Zbl 1370.68173) Full Text: DOI
Li, Xuandong (ed.); Liu, Zhiming (ed.) Editorial. (English) Zbl 1372.00115 Formal Asp. Comput. 29, No. 4, 581-582 (2017). MSC: 00B25 68-06 68Nxx PDF BibTeX XML Cite \textit{X. Li} (ed.) and \textit{Z. Liu} (ed.), Formal Asp. Comput. 29, No. 4, 581--582 (2017; Zbl 1372.00115) Full Text: DOI