scientific article; zbMATH DE number 1751911
From MaRDI portal
Publication:4533008
zbMATH Open1017.68065MaRDI QIDQ4533008FDOQ4533008
Authors: Yuri Pottosin
Publication date: 6 June 2002
Title of this publication is not available (Why is that?)
Recommendations
Cited In (14)
- Parallel decision procedures for finite state automata
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Exploiting symmetry of state tree structures for discrete-event systems with parallel components
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some Techniques of State Assignment for Synchronous Sequential Machines
- Implementing (nondeterministic) parallel assignments
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
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)