Search Results - "Java memory model"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

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

    ISSN: 1567-8326
    Published: 01.03.2007
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: