Parallel Algorithms for Model Checking

    Activity: Talk or presentationInvited talk

    Period12 Sept 2017
    Event titleSecond IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017
    Event typeConference
    Conference number2
    LocationTehran, Iran, Islamic Republic ofShow on map
    Degree of RecognitionInternational