DMCA

Model-Checking Large Structured Markov Chains (2002)

Cached

Download Links

by Peter Buchholz , Joost-Pieter Katoen , Peter Kemper , Carsten Tepper
Citations:23 - 6 self