skip to main content
Primo Advanced Search
Advanced search    Note: Search terms must be in lower case
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Date range searching is not available for Article, Issue and Archived Website records; nor does it work for Audio records.

3 results  for Everything in this catalogue

Refined by: subject: Computers--Periodicals 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