Publication
Reduction and Abstraction Techniques for BIP
Related publications (26)
Ralf Seifert, Jean-Sébastien Tancrez, Isik Bicer
Qian Wang, Jieping Zhu, Shuo Tong, Aurore Kamilia Limouni
Dimitrios Kyritsis, Jonathan Dekhtiar
Mathias Soeken, Luca Gaetano Amarù, Ana Petkovska