TY - SER TI - Reliable Computing [electronic resource] SN - 1573-1340 PB - Springer Netherlands UR - http://link.springer.com/journal/11155 ER -