Sciweavers

ASM
1998
ASM

A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines

14 years 4 months ago
A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines
Hans Tonino
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where ASM
Authors Hans Tonino
Comments (0)