1
per International Conference of Tools and Algorithms for the Construction and Analysis of Systems, Abdulla, Parosh Aziz., Leino, K. Rustan M.
Publicat 2011.
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26...”Publicat 2011.
Obtenir text complet
Livro
2
Publicat a Lecture Notes in Computer Science
(2023)
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European...”Obtenir text complet
Livro
3
Publicat a Lecture Notes in Computer Science
(2023)
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European...”Obtenir text complet
Livro
4
Publicat a Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
“... on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place...”Obtenir text complet
Livro
5
Publicat a Lecture Notes in Computer Science
(2019)
“... constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction...”Obtenir text complet
Livro
6
Publicat a Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
“... on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place...”Obtenir text complet
Livro
7
Publicat a Lecture Notes in Computer Science
(2019)
“... of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis...”Obtenir text complet
Livro
8
Publicat a Lecture Notes in Computer Science
(2019)
“... constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction...”Obtenir text complet
Livro
9
Publicat a Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
“... on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during...”Obtenir text complet
Livro
10
Publicat a Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
“... on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during...”Obtenir text complet
Livro
11
Publicat a Lecture Notes in Computer Science
(2022)
“..., and users interested in rigorously based tools and algorithms for the construction and analysis of systems...”Obtenir text complet
Livro
12
Publicat a Lecture Notes in Computer Science
(2022)
“..., and users interested in rigorously based tools and algorithms for the construction and analysis of systems...”Obtenir text complet
Livro
13
Publicat a Lecture Notes in Computer Science
(2025)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which...”Obtenir text complet
Livro
14
Publicat a Lecture Notes in Computer Science
(2025)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which...”Obtenir text complet
Livro
15
Publicat a Lecture Notes in Computer Science
(2025)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which...”Obtenir text complet
Livro
16
Publicat a Lecture Notes in Computer Science
(2024)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which...”Obtenir text complet
Livro
17
Publicat a Lecture Notes in Computer Science
(2024)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which...”Obtenir text complet
Livro
18
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part...”
Obtenir text complet
Obtenir text complet
Livro
19
per International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Piterman, Nir, Smolka, Scott A.
Publicat 2013.
“... for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. The 42 papers presented...”Publicat 2013.
Obtenir text complet
Livro
20