Logo Logo

Publications by Apel, Sven

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date
Number of items: 1.

Conference or Workshop Item

Apel, Sven; Beyer, Dirk; Mordan, Vitaly; Mutilin, Vadim; Stahlbauer, Andreas (2016): On-the-Fly Decomposition of Specifications in Software Model Checking. 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering FSE 2016, November 13 - 18, 2016, Seattle, WA, USA.

This list was generated on Thu Oct 22 02:24:57 2020 CEST.