TY - BOOK AU - KOHLAS JURG TI - DEPENDABLE SYSTEMS SN - 9783540368212 U1 - 005.3 KOH PB - SPRINGER KW - COMPUTER SCIENCE ER -