Scheduling a Steel Plant with Timed Automata

Ansgar Fehnker. Scheduling a Steel Plant with Timed Automata. In 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 99), 13-16 December 1999, Hong Kong, China. pages 280-286, IEEE Computer Society, 1999. [doi]

@inproceedings{Fehnker99,
  title = {Scheduling a Steel Plant with Timed Automata},
  author = {Ansgar Fehnker},
  year = {1999},
  url = {http://csdl.computer.org/comp/proceedings/rtcsa/1999/0306/00/03060280abs.htm},
  researchr = {https://researchr.org/publication/Fehnker99},
  cites = {0},
  citedby = {0},
  pages = {280-286},
  booktitle = {6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA  99), 13-16 December 1999, Hong Kong, China},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0306-3},
}