Parallel controller synthesis from a Petri net specification
EURO-DAC '94 Proceedings of the conference on European design automation
An efficient verification algorithm for parallel controllers
EURO-DAC '94 Proceedings of the conference on European design automation
Behavioral Synthesis of Complex Parallel Controllers
VLSID '96 Proceedings of the 9th International Conference on VLSI Design: VLSI in Mobile Communication
Hi-index | 0.00 |