Consistency Check for Component-Based Design of Embedded Systems using SAT-Solving

Peter Verner Bojsen Sørensen, Jan Madsen

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	20th Nordic Workshop on Programming Theory
Number of pages	106
Publisher	Institute of Cybernetics at Tallinn University of Technology
Publication date	2008
Pages	93-96
ISBN (Print)	978-9949-430-24-6
Publication status	Published - 2008
Event	20th Nordic Workshop on Programming Theory - Tallinn, Estonia Duration: 19 Nov 2008 → 21 Nov 2008 http://cs.ioc.ee/nwpt08/

Conference	20th Nordic Workshop on Programming Theory
Country/Territory	Estonia
City	Tallinn
Period	19/11/2008 → 21/11/2008
Internet address	http://cs.ioc.ee/nwpt08/

OpenUrl availability

@inproceedings{393f0cda7c114b6dbb9d36e6585b9c1f,

title = "Consistency Check for Component-Based Design of Embedded Systems using SAT-Solving",

author = "S{\o}rensen, \{Peter Verner Bojsen\} and Jan Madsen",

year = "2008",

language = "English",

isbn = "978-9949-430-24-6",

pages = "93--96",

booktitle = "20th Nordic Workshop on Programming Theory",

publisher = "Institute of Cybernetics at Tallinn University of Technology",

note = "20th Nordic Workshop on Programming Theory, NWPT 2008 ; Conference date: 19-11-2008 Through 21-11-2008",

url = "http://cs.ioc.ee/nwpt08/",

}

TY - GEN

T1 - Consistency Check for Component-Based Design of Embedded Systems using SAT-Solving

AU - Sørensen, Peter Verner Bojsen

AU - Madsen, Jan

PY - 2008

Y1 - 2008

M3 - Article in proceedings

SN - 978-9949-430-24-6

SP - 93

EP - 96

BT - 20th Nordic Workshop on Programming Theory

PB - Institute of Cybernetics at Tallinn University of Technology

T2 - 20th Nordic Workshop on Programming Theory

Y2 - 19 November 2008 through 21 November 2008

ER -