On Weak Modal Compatibility, Refinement, and the MIO Workbench.

Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker

Browse the full TACAS paper archive.