Parallel Algorithms for Model Checking

van de Pol, J. (Speaker)

Activity: Talk or presentation › Invited talk

Period	12 Sept 2017
Event title	Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017
Event type	Conference
Conference number	2
Location	Tehran, Iran, Islamic Republic ofShow on map
Degree of Recognition	International

Documents & Links

https://link.springer.com/content/pdf/bfm%3A978-3-319-68953-1%2F1.pdf

Related content

Research output
Parallel Algorithms for Model Checking
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
Concurrent algorithms and data structures for model checking
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review