Statistics
Publications
2
Citations
57
H-Index
2
Active since
2009
Affiliations
Universität Ulm(Current)
Frank Raiser is an author at Universität Ulm specializing in formal methods, deductive verification, and operational semantics.
Publications per year
2009–2010
2
2
Equivalence of CHR States Revisited
Frank Raiser, Hariolf Betz, Thom Frühwirth · 2009 · 27 citations
1–2 of 2