Electronic Notes in Theoretical Computer Science, Volume 271
Volume 271, March 2011
- Jesús Manuel Almendros-Jiménez: A Prolog-based Query Language for OWL. 3-22
- David Castro, Víctor M. Gulías, Clara Benac Earle, Lars-Åke Fredlund, Samuel Rivas: A Case Study on Verifying a Supervisor Component Using McErlang. 23-40
- Laura M. Castro, Thomas Arts: Testing Data Consistency of Data-Intensive Applications Using QuickCheck. 41-62
- Fernando Sáenz-Pérez: DES: A Deductive Database System. 63-78
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team