Workshop on SW product line engineering, The LEUVEN Center on Information and Communication Technology

  • Andreas Classen (Speaker)

Activity: Participating in or organising an event types › Participation in conference

Description

Presented work on symbolic model checking of product lines.
Period10 May 2011
Event typeSymposium
LocationKatholieke Universiteit Leuven, Leuven, BelgiumShow on map

Documents & Links