@inproceedings{thang:hal-01551321,
  TITLE = {{Algorithms Based on Finite Automata for Testing of Z-codes}},
  AUTHOR = {Thang, Dang Quyet and Han, Nguyen Dinh and Huy, Phan Trung},
  URL = {https://inria.hal.science/hal-01551321},
  NOTE = {Part 13: UMAS},
  BOOKTITLE = {{9th International Conference on Network and Parallel Computing (NPC)}},
  ADDRESS = {Gwangju, South Korea},
  EDITOR = {James J. Park and Albert Zomaya and Sang-Soo Yeo and Sartaj Sahni},
  PUBLISHER = {{Springer}},
  SERIES = {Network and Parallel Computing},
  VOLUME = {LNCS-7513},
  PAGES = {625-635},
  YEAR = {2012},
  MONTH = Sep,
  DOI = {10.1007/978-3-642-35606-3\_74},
  KEYWORDS = {deterministic automata ; bipolar ; quadratic algorithm ; Z-code},
  PDF = {https://inria.hal.science/hal-01551321/file/978-3-642-35606-3_74_Chapter.pdf},
  HAL_ID = {hal-01551321},
  HAL_VERSION = {v1},
}