by Bartocci, Ezio, Beyer, Dirk, Black, Paul E., Fedyukovich, Grigory, Garavel, Hubert, Hartmanns, Arnd, Huisman, Marieke, Kordon, Fabrice, Nagele, Julian, Sighireanu, Mihaela, Steffen, Bernhard, Suda, Martin, Sutcliffe, Geoff, Weber, Tjark, Yamada, Akihisa
Published in Tools and Algorithms for the Construction and Analysis of Systems (01.01.2019)

by Alur, Rajeev, Radhakrishna, Arjun, Udupa, Abhishek
Published in Tools and Algorithms for the Construction and Analysis of Systems (2017)

by Blahoudek, František, Heizmann, Matthias, Schewe, Sven, Strejček, Jan, Tsai, Ming-Hsien
Published in Tools and Algorithms for the Construction and Analysis of Systems (2016)

by Bittner, Benjamin, Bozzano, Marco, Cavada, Roberto, Cimatti, Alessandro, Gario, Marco, Griggio, Alberto, Mattarei, Cristian, Micheli, Andrea, Zampedri, Gianni
Published in Tools and Algorithms for the Construction and Analysis of Systems (2016)

by Kwiatkowska, Marta, Parker, David, Wiltsche, Clemens
Published in Tools and Algorithms for the Construction and Analysis of Systems (2016)

by Lukina, Anna, Esterle, Lukas, Hirsch, Christian, Bartocci, Ezio, Yang, Junxing, Tiwari, Ashish, Smolka, Scott A., Grosu, Radu
Published in Tools and Algorithms for the Construction and Analysis of Systems (2017)

by Majumdar, Rupak
Published in Tools and Algorithms for the Construction and Analysis of Systems (2016)

by Nguyen, ThanhVu, Weimer, Westley, Kapur, Deepak, Forrest, Stephanie
Published in Tools and Algorithms for the Construction and Analysis of Systems (2017)

by Kini, Dileep, Viswanathan, Mahesh
Published in Tools and Algorithms for the Construction and Analysis of Systems (2017)

by QADEER, Shaz, REHOF, Jakob
Published in Lecture notes in computer science (2005)

by Ernst, Gidon, Huisman, Marieke, Mostowski, Wojciech, Ulbrich, Mattias
Published in Lecture Notes in Computer Science (2019)

by Tan, Yong Kiam, Heule, Marijn J. H., Myreen, Magnus
Published in Tools and Algorithms for the Construction and Analysis of Systems, TACAS, Luxembourg City, Luxembourg (01.01.2021)

by Cubuktepe, Murat, Jansen, Nils, Junges, Sebastian, Katoen, Joost-Pieter, Topcu, Ufuk
Published in 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 (01.04.2020)

by Shamakhi, Ali, Hojjat, Hossein, Rümmer, Philipp
Published in Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2021 (01.01.2021)

by Abdulla, Parosh Aziz, Haziza, Frédéric, Holík, Lukáš, Jonsson, Bengt, Rezine, Ahmed
Published in The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Rome, Italy, March 16-24, 2013. (2013)

by Bouissou, Olivier, Goubault, Eric, Putot, Sylvie, Chakarov, Aleksandar, Sankaranarayanan, Sriram
Published in Tools and Algorithms for the Construction and Analysis of Systems (2016)

by Junges, Sebastian, Jansen, Nils, Dehnert, Christian, Topcu, Ufuk, Katoen, Joost-Pieter
Published in Tools and Algorithms for the Construction and Analysis of Systems (2016)

by Chakarov, Aleksandar, Voronin, Yuen-Lam, Sankaranarayanan, Sriram
Published in Tools and Algorithms for the Construction and Analysis of Systems (2016)

by Velner, Yaron, Alpernas, Kalev, Panda, Aurojit, Rabinovich, Alexander, Sagiv, Mooly, Shenker, Scott, Shoham, Sharon
Published in Tools and Algorithms for the Construction and Analysis of Systems (2016)

by Cimatti, Alessandro, Griggio, Alberto, Schaafsma, Bastiaan Joost, Sebastiani, Roberto
Published in Tools and Algorithms for the Construction and Analysis of Systems (2013)