SDL versus C Equivalence Checking

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

Original language	English
Title of host publication	SDL 2005: Model Driven: 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings
Editors	Springer
Pages	323-338
Number of pages	16
Volume	3530
DOIs	https://doi.org/10.1007/11506843_23
Publication status	Published - 2005

Name	Lecture Notes in Computer Science (LNCS)
ISSN (Print)	0302-9743

Fields of science

@inproceedings{eb3aea472045499d836a5969760155c9,

title = "SDL versus C Equivalence Checking",

author = "M. Haroud and Armin Biere",

year = "2005",

doi = "10.1007/11506843\_23",

language = "English",

volume = "3530",

series = "Lecture Notes in Computer Science (LNCS)",

pages = "323--338",

editor = "Springer",

booktitle = "SDL 2005: Model Driven: 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings",

}

TY - GEN

T1 - SDL versus C Equivalence Checking

AU - Haroud, M.

AU - Biere, Armin

PY - 2005

Y1 - 2005

UR - https://www.scopus.com/pages/publications/26444587192

U2 - 10.1007/11506843_23

DO - 10.1007/11506843_23

M3 - Conference proceedings

VL - 3530

T3 - Lecture Notes in Computer Science (LNCS)

SP - 323

EP - 338

BT - SDL 2005: Model Driven: 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings

A2 - Springer, null

ER -