Sign in

A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines.

Andreas GlauschWolfgang Reisig
Published in: CALCO (2007)
Keyphrases