Statistics
Publications
3
Citations
52
H-Index
3
Active since
2005
Affiliations
Biniam Gebremichael is an author at Radboud University Nijmegen specializing in formal methods, computer science, and computing.
Publications per year
2005–2011
3
3
Specifying urgency in timed I/O automata
Biniam Gebremichael, Frits Vaandrager · 2005 · 21 citations
1–3 of 3