Authors: DOETTLING G GETZLAFF KJ LEPPLA B LIPPONER W PFLUEGER T SCHLIPF T SCHMUNKAMP D WILLE U

Citation: G. Doettling et al., S 390 PARALLEL ENTERPRISE SERVER GENERATION-3 - A BALANCED SYSTEM ANDCACHE STRUCTURE/, IBM journal of research and development, 41(4-5), 1997, pp. 405-428

Authors: SCHLIPF T BUECHNER T FRITZ R HELMS M KOEHL J

Citation: T. Schlipf et al., FORMAL VERIFICATION MADE EASY, IBM journal of research and development, 41(4-5), 1997, pp. 567-576