Hermanns, Holger (1967-)
| rdfs:label | "Hermanns, Holger (1967-)" |
| schema:name | "Holger Hermanns" |
|
schema:family |
"Hermanns" |
|
schema:given |
"Holger" |
|
schema:birth |
"1967" |
|
schema:same |
<https:/ |
|
<http:/ |
|
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:contributor → Hermanns, Holger (1967-)
A probabilistic extension of UML statecharts : specification and verification / D.N. Jansen, H. Hermanns, J.P. Katoenschema:ProductModel
A probabilistic extension of UML statecharts : specification and verification / D.N. Jansen, H. Hermanns, J.P. Katoenschema:ProductModel
Weak bisimulation for fully probabilistic processes / C. Baier and H. Hermannsschema:ProductModel
Weak bisimulation for fully probabilistic processes / C. Baier and H. Hermannsschema:ProductModel