Visible to the public Biblio

Filters: Author is Georgios Giantamidis  [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 
L
Georgios Giantamidis, Stavros Tripakis.  2016.  Learning Moore Machines from Input-Output Traces. {FM} 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. :291–309.