Checking Consistency and Completeness of On-Line Product Manuals

Carsten Sinz

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

Original language	English
Title of host publication	Journal of Automated Reasoning
Pages	45-66
Number of pages	22
Volume	37
Edition	1-2
DOIs	https://doi.org/10.1007/s10817-006-9037-y
Publication status	Published - Aug 2006

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

Fields of science

@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",

}