Branching Time Semantics with Sets of Transitions

  • Antje Rumberg (Invited speaker)

    Activity: Talk or presentation › Invited talk › Popular

    Period13 Apr 2012
    Event titlePhDs in Logic IV (Ghent, Belgium)
    Event typeSeminar