Publikationsdetails

Zitat:	M. Haroud, Armin Biere, "SDL versus C Equivalence Checking" , in Springer: SDL 2005: Model Driven: 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings, Serie Lecture Notes in Computer Science (LNCS), Vol. 3530, Seite(n) 323-338, 2005, ISSN: 0302-9743
Original Titel:	SDL versus C Equivalence Checking
Sprache des Titels:	Englisch
Original Buchtitel:	SDL 2005: Model Driven: 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings
Serie:	Lecture Notes in Computer Science (LNCS)
Volume:	3530
Seitenreferenz:	323-338
Erscheinungsjahr:	2005
ISSN:	0302-9743
Anzahl der Seiten:	16
Notiz zur Publikation:	Series ISSN: 0302-9743
DOI:	10.1007/11506843_23
Reichweite:	international
Publikationstyp:	Aufsatz / Paper in Tagungsband (referiert)
Autoren:	M. Haroud, Armin Biere
Forschungseinheiten:	Institut für Formale Modelle und Verifikation

fodok.jku.at

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum