Login / Signup

Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes.

Reynald AffeldtNaoki Kobayashi
Published in: EXPRESS (2004)
Keyphrases