iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/entcs/Simon10.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - CPAPER ID - DBLP:journals/entcs/Simon10 AU - Simon, Axel TI - A Note on the Inversion Join for Polyhedral Analysis. BT - Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010 SP - 115 EP - 126 PY - 2010// DO - 10.1016/J.ENTCS.2010.09.010 UR - https://doi.org/10.1016/j.entcs.2010.09.010 ER -