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.

Authors

Kim Grüttner

This author has not been identified. Look up 'Kim Grüttner' in Google

Cornelia Grabbe

This author has not been identified. Look up 'Cornelia Grabbe' in Google

Frank Oppenheimer

This author has not been identified. Look up 'Frank Oppenheimer' in Google

Wolfgang Nebel

This author has not been identified. Look up 'Wolfgang Nebel' in Google