Hendrik Speidel
Publication Activity (10 Years)
Years Active: 2011-2011
Publications (10 Years): 0
Publications (10 Years): 0
Publications
- Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk BeyerFeature-Aware Verification CoRR (2011)
- Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer