Artikel in einem Konferenzbericht,

Automatable verification of sequential consistency.

, und .
SPAA, Seite 113-121. ACM, (2001)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen