Fail-safety in core-based system design.

Rafal Baranowski, Hans-Joachim Wunderlich

Browse the full IOLTS paper archive.