Login / Signup
Mark Kellershoff
Publication Activity (10 Years)
Years Active: 2010-2010
Publications (10 Years): 0
</>
Publications
</>
Stefan Edelkamp
,
Mark Kellershoff
,
Damian Sulewski
Program Model Checking via Action Planning.
MoChArt
(2010)