%0 Electronic Book Part %A Zhou, Z. and Song, X. and Tahar, S. and Cerny, E. and Corella, F. and Langevin, M. %I Springer Berlin Heidelberg %D 1996 %D 1996 %G Undetermined %@ 0302-9743 %@ 1611-3349 %~ Berufsakademien Sachsen - Bibliothek %T Formal Methods in Computer-Aided Design: Formal verification of the Island Tunnel Controller using Multiway Decision Graphs %J Formal Methods in Computer-Aided Design %P 233-247 %U http://dx.doi.org/10.1007/bfb0031811 %Z https://katalog.ba-sachsen.de/Record/ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAwNy9iZmIwMDMxODEx %U https://katalog.ba-sachsen.de/Record/ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAwNy9iZmIwMDMxODEx