Diagnosing LTL Specifications

  • Ingo Hans Pill (Redner/in)

Aktivität: Vortrag oder PräsentationGastvortragScience to science

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

Fields of Expertise

  • Information, Communication & Computing