Symbolic Model-Checking of CML Specifications

  • Alturki, Musab (PI)

Project: Research

Project Details

Description

(Will be added soon)
StatusFinished
Effective start/end date1/01/15 → 31/10/16