Volume 336, Number 1, May 2005
, Bart Kuijpers
: On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases.
Volume 336, Number 2-3, May 2005
Abstract State Machines and High-Level System Design and Analysis
: Abstract state machines and high-level system design and analysis.
, Howard Barringer
, Allen Goldberg
, Klaus Havelund
, Sarfraz Khurshid
, Michael R. Lowry
, Corina S. Pasareanu
, Grigore Rosu
, Koushik Sen
, Willem Visser
, Richard Washington
: Combining test case generation and runtime verification.
, Qian-Ping Gu
: Formal description and analysis of a distributed location service for mobile ad hoc networks.
: ASM refinement and generalizations of forward simulation in data refinement: a comparison.