Stem mio$ (all stems)
2 papers:
- TACAS-2010-BauerMSH #on the #refinement
- On Weak Modal Compatibility, Refinement, and the MIO Workbench (SSB, PM, AS, RH), pp. 175–189.
- DAC-1989-HungRH #flexibility #named
- MIOS: A Flexible System for PCB Manufacturing (ACH, PMR, PJH), pp. 460–465.