Synthesis of Open Reactive Systems from Scenario-Based Specifications

Yves Bontemps, Pierre Yves Schobbens. Synthesis of Open Reactive Systems from Scenario-Based Specifications. In 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal. pages 41-50, IEEE Computer Society, 2003. [doi]

@inproceedings{BontempsS03,
  title = {Synthesis of Open Reactive Systems from Scenario-Based Specifications},
  author = {Yves Bontemps and Pierre Yves Schobbens},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/acsd/2003/1887/00/18870041abs.htm},
  tags = {rule-based, source-to-source, open-source},
  researchr = {https://researchr.org/publication/BontempsS03},
  cites = {0},
  citedby = {0},
  pages = {41-50},
  booktitle = {3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1887-7},
}