Checking Consistency and Completeness of On-Line Product Manuals

Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

Originalsprache	Englisch
Titel	Journal of Automated Reasoning
Seiten	45-66
Seitenumfang	22
Band	37
Auflage	1-2
DOIs	https://doi.org/10.1007/s10817-006-9037-y
Publikationsstatus	Veröffentlicht - Aug. 2006

Name	Journal of Automated Reasoning
ISSN (Print)	0168-7433

Wissenschaftszweige

@inbook{7a707ad4eda94c5bb862974e1b08f967,

title = "Checking Consistency and Completeness of On-Line Product Manuals",

author = "Carsten Sinz",

year = "2006",

month = aug,

doi = "10.1007/s10817-006-9037-y",

language = "English",

volume = "37",

series = "Journal of Automated Reasoning",

pages = "45--66",

booktitle = "Journal of Automated Reasoning",

edition = "1-2",

}