Jiong Ou, Peter Brunmayr, Jan Haase, Christoph Grimm. Ein formales Modell für den Entwurf von flexiblen Kommunikationssystemen. In Manfred Dietrich, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010. pages 207-216, Fraunhofer Verlag, 2010.
Abstract is missing.