DMCA

LTL model checking of time-inhomogeneous Markov chains (2009)

Cached

Download Links

by Taolue Chen , Tingting Han , Joost-pieter Katoen , Ru Mereacre
Venue:in Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Citations:4 - 1 self