August 2007 1 Dublin Core Collection Application Profile Task group [email protected] Dublin Core Conference 2007, Singapour.
1 Abstraction Refinement for Bounded Model Checking Anubhav Gupta, CMU Ofer Strichman, Technion Highly Jet Lagged.
An abstract model for DCMI metadata descriptions Andy Powell [email protected] UKOLN, University of Bath, UK UKOLN is supported.
Abstraction Refinement for Bounded Model Checking