Login / Signup
Emanuel Kolb
Publication Activity (10 Years)
Years Active: 1996-2009
Publications (10 Years): 0
</>
Publications
</>
Emanuel Kolb
,
Ondrej Sery
,
Roland Weiss
Applicability of the BLAST Model Checker: An Industrial Case Study.
Ershov Memorial Conference
(2009)
Emanuel Kolb
Hjelmslev planes over nearrings.
Discret. Math.
155 (1-3) (1996)