@inproceedings{henning:hal-01470607,
  TITLE = {{Formal Specification of Batch Scheduling Problems: A Step toward Integration and Benchmarking}},
  AUTHOR = {Henning, Gabriela Patricia},
  URL = {https://inria.hal.science/hal-01470607},
  NOTE = {Part IV: ICT and Emerging Technologies in Production Management},
  BOOKTITLE = {{19th Advances in Production Management Systems (APMS)}},
  ADDRESS = {Rhodes, Greece},
  EDITOR = {Christos Emmanouilidis and Marco Taisch and Dimitris Kiritsis},
  PUBLISHER = {{Springer}},
  SERIES = {Advances in Production Management Systems. Competitive Manufacturing for                    Innovative Products and Services},
  VOLUME = {AICT-398},
  NUMBER = {Part II},
  PAGES = {96-103},
  YEAR = {2012},
  MONTH = Sep,
  DOI = {10.1007/978-3-642-40361-3\_13},
  KEYWORDS = {Scheduling ; Ontologies ; Integration ; Formal Specifications},
  PDF = {https://inria.hal.science/hal-01470607/file/978-3-642-40361-3_13_Chapter.pdf},
  HAL_ID = {hal-01470607},
  HAL_VERSION = {v1},
}