Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Elvira Albert, Puri Arenas, and Miguel Gómez-Zamalloa. Towards Testing Concurrent Objects in CLP. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 98-108, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{albert_et_al:LIPIcs.ICLP.2012.98, author = {Albert, Elvira and Arenas, Puri and G\'{o}mez-Zamalloa, Miguel}, title = {{Towards Testing Concurrent Objects in CLP}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {98--108}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.98}, URN = {urn:nbn:de:0030-drops-36134}, doi = {10.4230/LIPIcs.ICLP.2012.98}, annote = {Keywords: Testing, Glass-box Test Data Generation, Active Objects, Symbolic Execution} }
Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)
Miguel Esteban Gutiérrez and Asuncion Gomez-Perez. Ontology Access Provisioning in Grid Environments. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{gutierrez_et_al:DagSemProc.05271.9, author = {Guti\'{e}rrez, Miguel Esteban and Gomez-Perez, Asuncion}, title = {{Ontology Access Provisioning in Grid Environments}}, booktitle = {Semantic Grid: The Convergence of Technologies}, pages = {1--1}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5271}, editor = {Carole Goble and Carl Kesselman and York Sure}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.9}, URN = {urn:nbn:de:0030-drops-3832}, doi = {10.4230/DagSemProc.05271.9}, annote = {Keywords: Ontology Access, WS-DAIO} }
Feedback for Dagstuhl Publishing