Documents publiés en "2000"

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

Aller à : M

Nombre de documents: 2

M

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

Liste produite: Sun Dec 29 02:28:40 2024 EST.

Pour citer ou exporter	Atom RSS 1.0 RSS 2.0