Normalization of Some Extended Abstract State Machines
From MaRDI portal
Publication:3586002
Recommendations
- scientific article; zbMATH DE number 2102724
- Refinements in Typed Abstract State Machines
- Moded and continuous abstract state machines
- NORMALIZED EXPRESSIONS AND FINITE AUTOMATA
- scientific article; zbMATH DE number 1309176
- scientific article; zbMATH DE number 1670503
- Normality and automata
- scientific article; zbMATH DE number 1670519
- Systematic Refinement of Abstract State Machines with Higher-Order Logic
- scientific article; zbMATH DE number 5263412
Cited in
(4)
This page was built for publication: Normalization of Some Extended Abstract State Machines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3586002)