Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking (1995)

Cached

Download Links

by Régis Cridlig
Citations:21 - 1 self