Job-Shop Scheduling Using Timed Automata. Abdeddaïm, Y. & Maler, O. In Proceedings of Computer Aided Verification (CAV), pages 478-492, 2001.
Job-Shop Scheduling Using Timed Automata [link]Paper  bibtex   
@inproceedings{ dblp3919744,
  title = {Job-Shop Scheduling Using Timed Automata},
  author = {Yasmina Abdeddaïm and Oded Maler},
  author_short = {Abdeddaïm, Y. and Maler, O.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2001},
  key = {dblp3919744},
  id = {dblp3919744},
  biburl = {http://www.dblp.org/rec/bibtex/conf/cav/AbdeddaimM01},
  url = {http://dx.doi.org/10.1007/3-540-44585-4_46},
  conference = {CAV},
  pages = {478-492},
  text = {CAV 2001:478-492},
  booktitle = {Proceedings of Computer Aided Verification (CAV)}
}

Downloads: 0