Proceedings of the 23rd International Systems and Software Product Line Conference - volume A - SPLC '19
Latest Publications

TOTAL DOCUMENTS

54
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By ACM Press

9781450371384
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Static Analysis of Featured Transition Systems

2019 ◽  
Author(s):  
Maurice H. ter Beek ◽  
Ferruccio Damiani ◽  
Michael Lienhardt ◽  
Franco Mazzanti ◽  
Luca Paolini
Keyword(s):  
Static Analysis ◽  
Transition Systems

Facing the Truth

2019 ◽  
Author(s):  
Daniel Strüber ◽  
Mukelabai Mukelabai ◽  
Jacob Krüger ◽  
Stefan Fischer ◽  
Lukas Linsbauer ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document