×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [kim larsen]
Home >
kim larsen
_12WfxoqHDJ
167 views
Formal methods & Tools UCb CUPPAAL CUPPAAL Efficient Minimum-Cost Reachability for Linearly Priced Timed Automata Gerd Behrman, Ed Brinksma, Ansgar Fehnker,
212 views
Kim G. Larsen Peter Bulychev, Alexandre David, Dehui Du, Axel Legay, Guangyuan Li, Marius Mikucionis, Danny B. Poulsen, Amalie Stainer, Zheng Wang TexPoint.
214 views
Statistical Model Checking , Refinement Checking , Optimization , .. for Stochastic Hybrid Systems
30 views
Commerciel Magazine - Rusuge Special Edition Thursday
215 views