Office: 4D04

Email: adim@itu.dk

Phone: +45 7652 2412

Abstract Family-based Model Checking using Modal Featured Transition Systems (FASE'18 and its Journal Extension)

  Home

  Research

  Publications

  CV

Please see ReadMeCTL.txt for how to get started.