Melius: Guiding and Cost-Optimality in Model Checking of Timed and Hybrid Systems. Faculty of Science, Mathematics and Computer (0)

by A Fehnker Citius, Vilius
Venue:Faculty of Mathematics and Natural