Refinement Sensitive Formal Semantics of State Machines With Persistent Choice

Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn. Refinement Sensitive Formal Semantics of State Machines With Persistent Choice. Electronic Notes in Theoretical Computer Science, 250(1):71-86, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.