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