Andrea Pferscher

Andrea Pferscher

Postdoctoral Research Fellow, Department of Informatics, University of Oslo
Verified email at ifi.uio.no
Cited by 171
automata learning model checking timed automata conformance testing stochastic automata