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
Held atTools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
Event typeConference