Diagnosing LTL Specifications

Ingo Hans Pill (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

Fields of Expertise

  • Information, Communication & Computing