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

154 Downloads (Pure)
Filter
Invited talk

Search results