LoCo - A Logic for Configuration Problems.

Research output: Contribution to conferencePaperResearchpeer review

Authors

View graph of relations

Details

Original languageUndefined/Unknown
Pages73-78
Publication statusPublished - 2012

Cite this

LoCo - A Logic for Configuration Problems. / Aschinger, Markus; Drescher, Conrad; Vollmer, Heribert.
2012. 73-78.

Research output: Contribution to conferencePaperResearchpeer review

Aschinger M, Drescher C, Vollmer H. LoCo - A Logic for Configuration Problems.. 2012. doi: 10.3233/978-1-61499-098-7-73
Download
@conference{00b0e24acc6e46bebb340722613253e8,
title = "LoCo - A Logic for Configuration Problems.",
author = "Markus Aschinger and Conrad Drescher and Heribert Vollmer",
note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",
year = "2012",
doi = "10.3233/978-1-61499-098-7-73",
language = "Undefined/Unknown",
pages = "73--78",

}

Download

TY - CONF

T1 - LoCo - A Logic for Configuration Problems.

AU - Aschinger, Markus

AU - Drescher, Conrad

AU - Vollmer, Heribert

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2012

Y1 - 2012

U2 - 10.3233/978-1-61499-098-7-73

DO - 10.3233/978-1-61499-098-7-73

M3 - Paper

SP - 73

EP - 78

ER -

By the same author(s)