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}
}