Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract)

Carsten Sinz, Wolfgang Kchlin

Browse the full SAT paper archive.