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. In Proceedings of the 6th International Conference on Application of Concurrency to System Design (ACSD 2006), Turku, Finland, June 2006. IEEE Computer Society.

Suggested BibTeX entry:

@inproceedings{JEM06,
    address = {Turku, Finland},
    author = {J. Esparza and P. Jan\v{c}ar and A. Miller},
    booktitle = {Proceedings of the 6th International Conference on Application of Concurrency to System Design (ACSD 2006)},
    month = {June},
    publisher = {IEEE Computer Society},
    title = {On the Complexity of Consistency and Complete State Coding},
    year = {2006}
}

GZipped PostScript (101 kB)
PDF (127 kB)
Tech report version, Journal version