×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [kim larsen]
Documents
_12WfxoqHDJ
169 views
Documents
Formal methods & Tools UCb CUPPAAL CUPPAAL Efficient Minimum-Cost Reachability for Linearly Priced Timed Automata Gerd Behrman, Ed Brinksma, Ansgar Fehnker,
214 views
Documents
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
Documents
Statistical Model Checking , Refinement Checking , Optimization , .. for Stochastic Hybrid Systems
34 views
Documents
Commerciel Magazine - Rusuge Special Edition Thursday
218 views