|
@inproceedings{ZRETT99a, author = {Dirk Ziegenbein and K Richter and Rolf Ernst and Lothar Thiele and Juergen Teich}, title = {An Internal Representation for Heterogeneously Specified Embedded Systems}, address = {Braunschweig, Germany}, booktitle = {Proceedings GI/ITG/GMM Workshop on Design Methods and Specification Languages}, month = {Feb}, year = {1999} }