Parcourir par auteur Wallace, Charles

Regrouper par Type Sans regrouement |

Nombre de documents archivés : 1.

Wallace, Charles; Tremblay, Guy et Amaral, José N. (2001). « An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol ». Journal of Universal Computer Science, 7(11), pp. 1088-1112.

Cette liste a été générée le Mon Dec 2 18:18:41 2024 EST.