Automaton-Based Data Consistency Detection.

Xuejian Li, Changyu Wang

Browse the full SMC paper archive.