Previous
Next
Journal
- tools and algorithms for the construction and analysis of systems : 25th international conference, tacas 2019, held as part of the european joint conferences on theory and practice of software, etaps 2019, prague, czech republic, april 6-11, 2019, proceedings, part i29
- tools and algorithms for the construction and analysis of systems : 25th international conference, tacas 2019, held as part of the european joint conferences on theory and practice of software, etaps 2019, prague, czech republic, april 6-11, 2019, proceedings, part ii22
- mathematical and engineering methods in computer science : 7th international doctoral workshop, memics 2011, lednice, czech republic, october 14-16, 2011, revised selected papers19
- mathematical and engineering methods in computer science : 8th international doctoral workshop, memics 2012, znojmo, czech republic, october 25-28, 2012, revised selected papers19
- mathematical and engineering methods in computer science : 10th international doctoral workshop, memics 2015, telc, czech republic, october 23-25, 2015, revised selected papers13
- computer aided systems theory - eurocast 2022 : 18th international conference, las palmas de gran canaria, spain, february 20-25, 2022, revised selected papers3
- tools and algorithms for the construction and analysis of systems : 21st international conference, tacas 2015, held as part of the european joint conferences on theory and practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings3
- tools and algorithms for the construction and analysis of systems : 22nd international conference, tacas 2016, held as part of the european joint conferences on theory and practice of software, etaps 2016, eindhoven, the netherlands, april 2-8, 2016, proceedings3
- tools and algorithms for the construction and analysis of systems : 26th international conference, tacas 2020, held as part of the european joint conferences on theory and practice of software, etaps 2020, dublin, ireland, april 25-30, 2020, proceedings, part ii3