Antje Rumberg gives a talk titled “Branching Time Semantics with Sets of Transitions: a Local Approach to Real Possibility”.
Loading Map....
Date/Time
Date(s) - 04/06/2012
All Day
Location
Bochum, Germany
Antje Rumberg gives a talk titled “Branching Time Semantics with Sets of Transitions: a Local Approach to Real Possibility”.
Date/Time
Date(s) - 04/06/2012
All Day
Location
Bochum, Germany