scientific article; zbMATH DE number 1751911
From MaRDI portal
Publication:4533008
Recommendations
Cited in
(14)- scientific article; zbMATH DE number 3999305 (Why is no real title available?)
- scientific article; zbMATH DE number 3921963 (Why is no real title available?)
- scientific article; zbMATH DE number 3968504 (Why is no real title available?)
- Exploiting symmetry of state tree structures for discrete-event systems with parallel components
- scientific article; zbMATH DE number 3310917 (Why is no real title available?)
- scientific article; zbMATH DE number 1751917 (Why is no real title available?)
- scientific article; zbMATH DE number 3907778 (Why is no real title available?)
- scientific article; zbMATH DE number 3890738 (Why is no real title available?)
- scientific article; zbMATH DE number 647673 (Why is no real title available?)
- Implementing (nondeterministic) parallel assignments
- Parallel decision procedures for finite state automata
- scientific article; zbMATH DE number 3943039 (Why is no real title available?)
- Some Techniques of State Assignment for Synchronous Sequential Machines
- scientific article; zbMATH DE number 4045654 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4533008)