Parallel Algorithms for Model Checking

van de Pol, J. (Speaker)

    Activity: Talk or presentationInvited talk

    Period12 Sep 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 of
    Degree of RecognitionInternational