Verifying Continuous Time Markov Chains.

Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton

Browse the full CAV paper archive.