Antje Rumberg gives a talk titled “Branching Time Semantics with Sets of Transitions”.
Loading Map....
Date/Time
Date(s) - 12/04/2012
All Day
Location
Centre for Logic and Philosophy of Science
Antje Rumberg gives a talk titled “Branching Time Semantics with Sets of Transitions”.
Date/Time
Date(s) - 12/04/2012
All Day
Location
Centre for Logic and Philosophy of Science