Cited By
View all- Cabodi GCamurati PCorno FPrinetto PReorda M(1998)The General Product MachineFormal Methods in System Design10.1023/A:100863241730612:3(267-289)Online publication date: 1-Apr-1998
- Biliński KDagless ESaul JSzajna JMermet J(1994)An efficient verification algorithm for parallel controllersProceedings of the conference on European design automation10.5555/198174.198270(302-307)Online publication date: 23-Sep-1994
- Kumar NVemuri RMusgrave G(1992)Finite state machine verification on MIMD machinesProceedings of the conference on European design automation10.5555/159754.161802(514-520)Online publication date: 1-Nov-1992
- Show More Cited By