Diagnosing LTL Specifications

Pill, I. H. (Speaker)

Activity: Talk or presentationInvited talkScience to science

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

Keywords

  • Information, Communication & Computing