1
Yazar: International Conference of Tools and Algorithms for the Construction and Analysis of Systems, Abdulla, Parosh Aziz., Leino, K. Rustan M.
Baskı/Yayın Bilgisi 2011.
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26...”Baskı/Yayın Bilgisi 2011.
Tam Metin Erişim
Livro
2
Yayımlandı 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...”Tam Metin Erişim
Livro
3
Yayımlandı 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...”Tam Metin Erişim
Livro
4
Yayımlandı 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...”Tam Metin Erişim
Livro
5
Yayımlandı Lecture Notes in Computer Science
(2019)
“... constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction...”Tam Metin Erişim
Livro
6
Yayımlandı 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...”Tam Metin Erişim
Livro
7
Yayımlandı Lecture Notes in Computer Science
(2019)
“... of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis...”Tam Metin Erişim
Livro
8
Yayımlandı Lecture Notes in Computer Science
(2019)
“... constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction...”Tam Metin Erişim
Livro
9
Yayımlandı 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...”Tam Metin Erişim
Livro
10
Yayımlandı 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...”Tam Metin Erişim
Livro
11
Yayımlandı Lecture Notes in Computer Science
(2022)
“..., and users interested in rigorously based tools and algorithms for the construction and analysis of systems...”Tam Metin Erişim
Livro
12
Yayımlandı Lecture Notes in Computer Science
(2022)
“..., and users interested in rigorously based tools and algorithms for the construction and analysis of systems...”Tam Metin Erişim
Livro
13
Yayımlandı Lecture Notes in Computer Science
(2025)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which...”Tam Metin Erişim
Livro
14
Yayımlandı Lecture Notes in Computer Science
(2025)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which...”Tam Metin Erişim
Livro
15
Yayımlandı Lecture Notes in Computer Science
(2025)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which...”Tam Metin Erişim
Livro
16
Yayımlandı Lecture Notes in Computer Science
(2024)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which...”Tam Metin Erişim
Livro
17
Yayımlandı Lecture Notes in Computer Science
(2024)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which...”Tam Metin Erişim
Livro
18
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part...”
Tam Metin Erişim
Tam Metin Erişim
Livro
19
Yazar: 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.
Baskı/Yayın Bilgisi 2013.
“... for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. The 42 papers presented...”Baskı/Yayın Bilgisi 2013.
Tam Metin Erişim
Livro
20