Author Info
Name
Affiliation
Papers
YU-WEN CHEN
University of Freiburg
1
Collaborators
Citations 
PageRank 
9
2
0.37
Referers 
Referees 
References 
6
0
0
Title
Citations
PageRank
Year
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).20.372017