Sciweavers

CALCO
2007
Springer

A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines

14 years 1 months ago
A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines
Andreas Glausch, Wolfgang Reisig
Added 18 Oct 2010
Updated 18 Oct 2010
Type Conference
Year 2007
Where CALCO
Authors Andreas Glausch, Wolfgang Reisig
Comments (0)