DMCA

Faster and Symbolic CTMC Model Checking (2001)

Cached

Download Links

by Joost-pieter Katoen , Marta Kwiatkowska , Gethin Norman , David Parker
Citations:44 - 21 self