Checking Timed Automata for Linear Duration Properties - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jianhua Zhao, Dang Van Hung. Checking Timed Automata for Linear Duration Properties. J. Comput. Sci. Technol., 15(5):423-429, 2000. [doi]

@article{ZhaoH00,
  title = {Checking Timed Automata for Linear Duration Properties},
  author = {Jianhua Zhao and Dang Van Hung},
  year = {2000},
  url = {http://jcst.ict.ac.cn/cone/cone05.html#paper4},
  researchr = {https://researchr.org/publication/ZhaoH00},
  cites = {0},
  citedby = {0},
  journal = {J. Comput. Sci. Technol.},
  volume = {15},
  number = {5},
  pages = {423-429},
}

runs on WebDSL