Jens Bastian, Joachim Haase, Sven Reitz. Verhaltensbeschreibung von Systemen mit verteilten Parametern durch Ordnungsreduktion. In Jürgen Ruf, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Tübingen, Germany, February 25-27, 2002. pages 144-153, Shaker, 2002.
Abstract is missing.