I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - On the complexity of consistency and complete state coding

Reference:

J. Esparza, P. Jančar, and A. Miller. On the complexity of consistency and complete state coding. Technical report, University of Stuttgart, July 2006.

Suggested BibTeX entry:

@techreport{JEM06b,
    author = {J. Esparza and P. Jan\v{c}ar and A. Miller},
    institution = {University of Stuttgart},
    month = {July},
    title = {On the complexity of consistency and complete state coding},
    year = {2006}
}

GZipped PostScript (126 kB)
PDF (184 kB)
Conference version, Journal version