Program algebra with unit instruction operators
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 986407 (Why is no real title available?)
- scientific article; zbMATH DE number 3716792 (Why is no real title available?)
- scientific article; zbMATH DE number 46835 (Why is no real title available?)
- Equivalence and preorder checking for finite-state systems
- Program algebra for component code
- Program algebra for sequential code
Cited in
(5)
This page was built for publication: Program algebra with unit instruction operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1858433)