Publication
Reduction and Abstraction Techniques for BIP
Publications associées (26)
Ralf Seifert, Anna Timonina-Farkas, Argyro Katsifou
Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng, Jinwei Chen
Raffaella Buonsanti, Jianfeng Huang, Giulia Mangione
Michael Christoph Gastpar, Amedeo Roberto Esposito, Ibrahim Issa
Urs von Gunten, Peter Rudolf Tentscher, Sung Eun Lim
Giorgio Margaritondo, Ying Chen