Modelling and Synthesis of Communication Using OSSS-Channels

Kim Grüttner, Cornelia Grabbe, Frank Oppenheimer, Wolfgang Nebel. Modelling and Synthesis of Communication Using OSSS-Channels. In Bernd Straube, Martin Freibothe, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006. pages 38-47, Fraunhofer Institut für Integrierte Schaltungen, 2006.

@inproceedings{GruttnerGON06,
  title = {Modelling and Synthesis of Communication Using OSSS-Channels},
  author = {Kim Grüttner and Cornelia Grabbe and Frank Oppenheimer and Wolfgang Nebel},
  year = {2006},
  researchr = {https://researchr.org/publication/GruttnerGON06},
  cites = {0},
  citedby = {0},
  pages = {38-47},
  booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006},
  editor = {Bernd Straube and Martin Freibothe},
  publisher = {Fraunhofer Institut für Integrierte Schaltungen},
}