Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is B and Author is Luca Bortolussi  [Clear All Filters]
Journal Article
System design of stochastic models using robustness of temporal properties, Bartocci, Ezio, Bortolussi Luca, Nenzi Laura, and Sanguinetti Guido , Theoretical Computer Science, Volume 587, p.3 - 25, (2015)  (1.57 MB)