DMCA

Three-valued abstraction for continuous-time markov chains (2007)

by Joost-pieter Katoen , Daniel Klink , Martin Leucker , Verena Wolf
Venue:In Proceedings of the International Conference on Computer Aided Verification
Citations:36 - 8 self