DSpace at RU >

Browsing by Author Larsen, K.G.

Full Text	Issue Date	Title	Author(s)
	2012	State-of-the-Art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems	Bozga, M.; David, A.; Hartmanns, A.; Hermanns, H.; Larsen, K.G., et al
	2006	Uppaal 4.0	Behrmann, G.; David, A.; Larsen, K.G.; Håkansson, J.; Pettersson, P., et al
	2004	Adding Symmetry Reduction to Uppaal	Hendriks, M.; Behrmann, G.; Larsen, K.G.; Niebert, P.; Vaandrager, F.W., et al
	2004	Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking	Gebremichael-Tesfagiorgis, B.; Vaandrager, F.W.; Larsen, K.G.; Niebert, P.
	2004	Adding Symmetry Reduction to Uppaal	Hendriks, M.; Behrmann, G.; Larsen, K.G.; Niebert, P.; Vaandrager, F.W.