Sign in
Kelley Strampp
Publication Activity (10 Years)
Years Active: 2006-2006
Publications (10 Years): 0
</>
Publications
</>
Ralf Wimmer
,
Marc Herbstritt
,
Holger Hermanns
,
Kelley Strampp
,
Bernd Becker
Sigref- A Symbolic Bisimulation Tool Box.
ATVA
(2006)