User menu

Modelling and Model Checking Variability-Intensive Systems

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