Ingo Hans Pill

Dipl.-Ing. Dr.techn.

20002020

Research output per year

If you made any changes in Pure these will be visible here soon.

Activities

Filter
Invited talk

Diagnosing LTL Specifications

Ingo Hans Pill (Speaker)
17 Mar 2016

Activity: Talk or presentationInvited talkScience to science