Jürgen Ruf, Thomas Kropf, Jochen Klose. A Visual Approach to Validating System Level Designs. In Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), October 2-4, 2002, Kyoto, Japan. pages 186-191, IEEE Computer Society, 2002. [doi]
Abstract is missing.