![]() | Monter d'un niveau |
Mullins, J. (avril 2000). Non-deterministic admissible interference [Communication écrite]. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Edinburgh, Scotland. Non disponible
Mullins, J. (2000). Nondeterministic admissible interference. Journal of Universal Computer Science, 6(11), 1054-1070. Lien externe