Logo Logo

Publications by Apel, Sven

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


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 Wed Oct 28 01:50:02 2020 CET.