Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
Work
Year: 2008
Type: article
Abstract: The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An important result of t... more
Institution University of Twente
Cites: 27
Cited by: 12
Related to: 10
FWCI: 0.906
Citation percentile (by year/subfield): 81.7
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold