×

zbMATH — the first resource for mathematics

Found 27,243 Documents (Results 1–100)

100
MathJax
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 I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 250-269 (2021).
MSC:  68Q25 90C10 90C15
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 57, No. 1, 155-164 (2021); translation from Kibern. Sist. Anal. 57, No. 1, 178-185 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software