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



Link to original content: https://www.semanticscholar.org/search?q=Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology.