Sciweavers

TACAS
2010
Springer

On Weak Modal Compatibility, Refinement, and the MIO Workbench

14 years 6 months ago
On Weak Modal Compatibility, Refinement, and the MIO Workbench
Sebastian S. Bauer, Philip Mayer, Andreas Schroede
Added 14 May 2010
Updated 14 May 2010
Type Conference
Year 2010
Where TACAS
Authors Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker
Comments (0)