DMCA

Multi-core and/or Symbolic Model Checking (2012)

by Tom Van Dijk , Alfons Laarman , Jaco Van De Pol