Paper Info
Title
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems.
Year
Venue
DocType
2011
ICALP (2)
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
Diana Fischer1153.67
Łukasz Kaiser2230789.08