Implementation of Symbolic Model Checking for Probabilistic Systems (2002)

by David Anthony Parker
Citations:50 - 18 self