Concurrent algorithms and data structures for model checking

Jaco van de Pol*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Downloads (Pure)

Fingerprint Dive into the research topics of 'Concurrent algorithms and data structures for model checking'. Together they form a unique fingerprint.

Engineering & Materials Science