Diana Fischer

	2011
5		Diana Fischer, Lukasz Kaiser: Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems. ICALP (2) 2011: 404-415
	2010
4		Diana Fischer: Logics for Quantitative Systems. AlgoSyn 2010: 75
3		Diana Fischer, Erich Grädel, Lukasz Kaiser: Model Checking Games for the Quantitative µ-Calculus. Theory Comput. Syst. 47(3): 696-719 (2010)
	2008
2		Diana Fischer, Erich Grädel, Lukasz Kaiser: Model Checking Games for the Quantitative µ-Calculus. STACS 2008: 301-312
1		Diana Fischer, Erich Grädel, Lukasz Kaiser: Model Checking Games for the Quantitative mu-Calculus CoRR abs/0802.2871: (2008)

Coauthor Index

1	Erich Grädel	[1] [2] [3]
2	Lukasz Kaiser	[1] [2] [3] [5]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page