Combining Formal Refinement and Model Checking for Real-Time Systems Verification.

Alexander Krupp, Wolfgang Mller

Browse the full FDL paper archive.