skip to main content
Language:
Show Results with:

3 results  for Everything in this catalogue

Sort by: Sort by: relevanceOr hit Enter to replace sort method
Refined by: journal title: Lecture notes in computer science remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models
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
Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models
Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models
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
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models
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

Sort by: Sort by: relevanceOr hit Enter to replace sort method

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
Refine

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

on this subject:

  1. Computers--Periodicals
  2. Computer science--Periodicals
  3. Artificial intelligence--Periodicals

All text is © British Library Board and is available under a Creative Commons Attribution Licence, except where otherwise stated.

P1

Searching Remote Databases, Please Wait