Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features
Maxime Cordy
◽
Pierre-Yves Schobbens
◽
Patrick Heymans
◽
Axel Legay
2018 ◽
Vol 12
(2)
◽
pp. 264-279
◽
Fei He
◽
Yuan Gao
◽
Liangze Yin
Maxime Cordy
◽
Andreas Classen
◽
Gilles Perrouin
◽
Pierre-Yves Schobbens
◽
Patrick Heymans
◽
...
Maxime Cordy
◽
Pierre-Yves Schobbens
◽
Patrick Heymans
◽
Axel Legay
Rasha Tawhid
◽
Dorina C. Petriu
Kim Lauenroth
◽
Klaus Pohl
◽
Simon Toehning
2018 ◽
Vol 12
(4)
◽
pp. 364
Shuang Liu
◽
Yu Feng Shi
◽
Ming Y Huang
Franz J. Rammig
◽
Yuhong Zhao
◽
Sufyan Samara
Yusuke Aoyama
◽
Takeru Kuroiwa
◽
Noriyuki Kushiro
Rasha Tawhid
◽
Dorina C. Petriu