Diagnosing LTL Specifications

Pill, I. H. (Redner/in)

Aktivität: Vortrag oder PräsentationGastvortragScience to science

Zeitraum17 Mär 2016
Gehalten amUniversità degli Studi di Brescia, Dipartimento di Ingegneria dell'Informazione, Italien

Keywords

  • Information, Communication & Computing