Guided Synthesis of Control Programs Using UPPAAL - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson. Guided Synthesis of Control Programs Using UPPAAL. Nord. J. Comput., 8(1):43-64, 2001.

@article{HuneLP01,
  title = {Guided Synthesis of Control Programs Using UPPAAL},
  author = {Thomas Hune and Kim Guldstrand Larsen and Paul Pettersson},
  year = {2001},
  researchr = {https://researchr.org/publication/HuneLP01},
  cites = {0},
  citedby = {0},
  journal = {Nord. J. Comput.},
  volume = {8},
  number = {1},
  pages = {43-64},
}

runs on WebDSL