6

Reduction and Abstraction Techniques for BIP
Mohamad A. Noureddine, Mohamad Jaber, Simon Bliudze, Fadi A. Zaraket
Cite DOI