Sign in

Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.

Johannes FaberSwen JacobsViorica Sofronie-Stokkermans
Published in: IFM (2007)
Keyphrases
  • constraint satisfaction problems
  • digital libraries
  • databases
  • high level
  • input data