Suchergebnisse - "Java memory model"

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Model checking a cache coherence protocol of a Java DSM implementation von Pang, Jun, Fokkink, Wan, Hofman, Rutger, Veldema, Ronald

    ISSN: 1567-8326
    Veröffentlicht: 01.03.2007
    Veröffentlicht in The journal of logic and algebraic programming (01.03.2007)
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: