Dirk Prenzel

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Moritz Kleine, Björn Bartels, Thomas Göthel, Steffen Helke, Dirk Prenzel
: Extracting CSP Models from Concurrent Programs. NASA Formal Methods (2011)