Monter d'un niveau |
Mullins, J., & Yeddes, M. (avril 2001). Two proof methods for bisimulation-based non-deterministic admissible interference [Communication écrite]. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Washington, D.C.. Non disponible