On Decomposition of Kleene TDDs

Yukihiro Iguchi, Tsutomu Sasao, Munehiro Matsuura. On Decomposition of Kleene TDDs. In 6th Asian Test Symposium (ATS 97), 17-18 November 1997, Akita, Japan. pages 234, IEEE Computer Society, 1997. [doi]

@inproceedings{IguchiSM97,
  title = {On Decomposition of Kleene TDDs},
  author = {Yukihiro Iguchi and Tsutomu Sasao and Munehiro Matsuura},
  year = {1997},
  url = {http://csdl.computer.org/comp/proceedings/ats/1997/8209/00/82090234abs.htm},
  researchr = {https://researchr.org/publication/IguchiSM97},
  cites = {0},
  citedby = {0},
  pages = {234},
  booktitle = {6th Asian Test Symposium (ATS  97), 17-18 November 1997, Akita, Japan},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-8209-4},
}