Decomposition of Timed Automata - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Kahn Mason, Padmanabhan Krishnan. Decomposition of Timed Automata. J. UCS, 5(9):574-587, 1999. [doi]

@article{MasonK99,
  title = {Decomposition of Timed Automata},
  author = {Kahn Mason and Padmanabhan Krishnan},
  year = {1999},
  url = {http://www.jucs.org/jucs_5_9/decomposition_of_timed_automata},
  researchr = {https://researchr.org/publication/MasonK99},
  cites = {0},
  citedby = {0},
  journal = {J. UCS},
  volume = {5},
  number = {9},
  pages = {574-587},
}

runs on WebDSL