TY - BOOK AU - Buhrer R E AU - Dahler J AU - Kundig A TI - Embedded systems ; new approaches to their formal description and design U1 - 621.381952 PY - 1987/// CY - Berlin PB - Springer-Verlag KW - Electrical engineering KW - Embedded systems N1 - Lectures given in an advances course on New approaches to the architecture and the design of embedded systems held in Zurich in 1986 ER -