1
af International Conference of Tools and Algorithms for the Construction and Analysis of Systems, Abdulla, Parosh Aziz., Leino, K. Rustan M.
Udgivet 2011.
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26...”Udgivet 2011.
Få fuldtekst
Livro
2
Udgivet i 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...”Få fuldtekst
Livro
3
Udgivet i 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...”Få fuldtekst
Livro
4
“... on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place...”
Få fuldtekst
Få fuldtekst
Livro
5
Udgivet i Lecture Notes in Computer Science
(2019)
“... constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction...”Få fuldtekst
Livro
6
“... on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place...”
Få fuldtekst
Få fuldtekst
Livro
7
Udgivet i Lecture Notes in Computer Science
(2019)
“... of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis...”Få fuldtekst
Livro
8
Udgivet i Lecture Notes in Computer Science
(2019)
“... constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction...”Få fuldtekst
Livro
9
“... on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during...”
Få fuldtekst
Få fuldtekst
Livro
10
“... on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during...”
Få fuldtekst
Få fuldtekst
Livro
11
Udgivet i Lecture Notes in Computer Science
(2022)
“..., and users interested in rigorously based tools and algorithms for the construction and analysis of systems...”Få fuldtekst
Livro
12
Udgivet i Lecture Notes in Computer Science
(2022)
“..., and users interested in rigorously based tools and algorithms for the construction and analysis of systems...”Få fuldtekst
Livro
13
Udgivet i Lecture Notes in Computer Science
(2025)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which...”Få fuldtekst
Livro
14
Udgivet i Lecture Notes in Computer Science
(2025)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which...”Få fuldtekst
Livro
15
Udgivet i Lecture Notes in Computer Science
(2025)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which...”Få fuldtekst
Livro
16
Udgivet i Lecture Notes in Computer Science
(2024)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which...”Få fuldtekst
Livro
17
Udgivet i Lecture Notes in Computer Science
(2024)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which...”Få fuldtekst
Livro
18
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part...”
Få fuldtekst
Få fuldtekst
Livro
19
af 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.
Udgivet 2013.
“... for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. The 42 papers presented...”Udgivet 2013.
Få fuldtekst
Livro
20