Documents publiés en "2000"

Grouper par: Auteurs ou autrices | Département | Sous-type de document | Aucun groupement

Aller à : Article de revue | Communication écrite

Nombre de documents: 2

Article de revue

Mullins, J. (2000). Nondeterministic admissible interference. Journal of Universal Computer Science, 6(11), 1054-1070. Lien externe

Communication écrite

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

Liste produite: Fri Aug 16 03:16:20 2024 EDT.

Pour citer ou exporter	Atom RSS 1.0 RSS 2.0