skip to main content
Show Results with:

3 results  for Everything in this catalogue

Refined by: journal title: Lecture notes in computer science remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Article
Add to My workspace

Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models

Abe, Tatsuya; Maeda, Toshiyuki

Lecture notes in computer science. Number 10017 (2016); pp 63-86 -- Springer

Check library holdings

2
Material Type:
Article
Add to My workspace

Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models

Abe, Tatsuya; Ugawa, Tomoharu; Maeda, Toshiyuki

Lecture notes in computer science. Number 10712 (2017); pp 170-190 -- Springer

Check library holdings

3
Material Type:
Article
Add to My workspace

Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models

Abe, Tatsuya et al.

Lecture notes in computer science. Number 9984 (2016); pp 118-135 -- Springer

Check library holdings

3 results  for Everything in this catalogue

Refine Search Results

Refine my results

Author/Contributor 

  1. Ugawa, Tomoharu  (2)
  2. Matsumoto, Kousuke  (1)
  3. Refine further open sub menu

Creation date 

From To

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. Abe, Tatsuya
  2. Maeda, Toshiyuki
  3. Ugawa, Tomoharu
  4. Matsumoto, Kousuke

Searching Remote Databases, Please Wait