Axiomatising timed automata - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Huimin Lin, Wang Yi. Axiomatising timed automata. Acta Informatica, 38(4):277-305, 2002. [doi]

@article{LinY02:2,
  title = {Axiomatising timed automata},
  author = {Huimin Lin and Wang Yi},
  year = {2002},
  url = {http://link.springer.de/link/service/journals/00236/bibs/2038004/20380277.htm},
  researchr = {https://researchr.org/publication/LinY02%3A2},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {38},
  number = {4},
  pages = {277-305},
}

runs on WebDSL