Gebremichael, B. (1971-)
| rdfs:label | "Gebremichael, B. (1971-)" |
| schema:name | "B. Gebremichael" |
|
schema:family |
"Gebremichael" |
|
schema:given |
"B." |
|
schema:alternate |
"Gebremichael Tesfagiorgis, Biniam" |
| "Gebremichael, Biniam" | |
|
schema:birth |
"1971" |
|
schema:same |
<https:/ |
| wd:Q102358636 | |
|
<http:/ |
|
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → Gebremichael, B. (1971-)
A formal analysis of a car periphery supervision system / B. Gebremichael, T. Krilavicius, Y.S. Usenkoschema:ProductModel
Control synthesis for a smart card personalization system using symbolic model checking / B. Gebremichael, F.W. Vaandragerschema:ProductModel
Expressivity of timed automata models / Biniam Gebremichael Tesfagiorgisschema:ProductModel