1
Published 1997
Springer Berlin Heidelberg
..., and the universities of Madrid and Passau. The work presented involves advanced specification languages for hardware...