Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille. Verifikation von Networked Labs-on-Chip Architekturen. In Daniel Große, Rolf Drechsler, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017. pages 41-42, Shaker Verlag, 2017.
Abstract is missing.