Polynomial Invariants for Probabilistic Transition Systems with Unbounded Support | Digital Library | PAMCET

Polynomial Invariants for Probabilistic Transition Systems with Unbounded Support | Digital Library | PAMCET | PAMCET