Parcourir par auteur Amaral, José N.

Regrouper par Type | Sans regrouement

Nombre de documents archivés : 1.

Article de revue scientifique

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, vol. 7, no 11, pp. 1088-1112.

Cette liste a été générée le Sat Mar 25 18:16:58 2017 EDT.