The parallelization of binary decision diagram operations for model checking
Author(s): Dijk, Tom van (2012)
Abstract:
Document(s):
thesis_Tom_van_Dijk.pdf