Biblio

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Plaku, Erion  [Clear All Filters]
2012
Plaku E, Kavraki L, Vardi M.  2012.  Falsification of LTL safety properties in hybrid systems. International Journal on Software Tools for Technology Transfer (STTT).
Preprint PDF     Publisher's web site