Statistics
Publications
4
Citations
111
H-Index
4
Active since
2007
Affiliations
Universität Ulm(Current)
Hariolf Betz is an author at Universität Ulm specializing in computing, computer science, and operational semantics.
Publications per year
2007–2013
4
4
Equivalence of CHR States Revisited
Frank Raiser, Hariolf Betz, Thom Frühwirth · 2009 · 27 citations
Relating Coloured Petri Nets to Constraint Handling Rules
Hariolf Betz · 2007 · 16 citations
1–4 of 4