Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
WSEAS Transactions on Mathematics
Hi-index | 0.00 |
Given a univariate complex polynomial f(x) of degree n with rational coefficients expressed as a ratio of two integers