Publications

Export 1 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Armando Tacchella  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
G
S. Pathak, E. Ábrahám, N. Jansen, A. Tacchella, and J. - P. Katoen, “A Greedy Approach for the Efficient Repair of Stochastic Models”, in {NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings, 2015.