New aspects in high-level specification, verification, and design of IT protocols (2001)

by H D Hümmer, W Geisselhardt
Venue:in: 14th Internat. Symposium on Integrated Circuits and System Design (SBCCI 2001), Pirenopolis