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: null
    Event typeConference
    Conference number2
    LocationTehran, Iran, Islamic Republic of
    Degree of RecognitionInternational