Diagnosing LTL Specifications

  • Ingo Hans Pill (Speaker)

Activity: Talk or presentation › Invited talk › Science to science

Period17 Mar 2016
Held atUniversità degli Studi di Brescia, Dipartimento di Ingegneria dell'Informazione, Italy

Fields of Expertise

  • Information, Communication & Computing