User menu

Modelling and Model Checking Variability-Intensive Systems

  • Open access
  • PDF
  • 3.85 M
Bibliographic reference Classen, Andreas. Modelling and Model Checking Variability-Intensive Systems.  Prom. : Heymans, Patrick ; Schobbens, Pierre-Yves
Permanent URL http://hdl.handle.net/2078.2/90863