Jasper Berendsen

	2009
3		Jasper Berendsen, Taolue Chen, David N. Jansen: Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata. TAMC 2009: 128-137
	2008
2		Jasper Berendsen, Frits W. Vaandrager: Compositional Abstraction in Real-Time Model Checking. FORMATS 2008: 233-249
	2006
1		Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen: Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata. QEST 2006: 311-322

Coauthor Index

1	Taolue Chen	[3]
2	David N. Jansen	[1] [3]
3	Joost-Pieter Katoen	[1]
4	Frits W. Vaandrager	[2]

Colors in the list of coauthors