Parallel Algorithms for Model Checking

van de Pol, J. (Speaker)

Activity: Talk or presentationInvited talk

Period12 Sep 2017
Held atSecond 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