Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)

  • Robert Könighofer (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information
Period16 Apr 2015
Event titleTools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
Event typeConference