×

Found 2 Documents (Results 1–2)

Symbolic coloured SCC decomposition. (English) Zbl 1474.68210

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 64-83 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Detecting attractors in biological models with uncertain parameters. (English) Zbl 1416.92068

Feret, Jérôme (ed.) et al., Computational methods in systems biology. 15th international conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10545, 40-56 (2017).
MSC:  92C42 05C90 68W10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field