共 50 条
- [32] Evaluation of the reliability of non-coherent systems using Binary Decision Diagrams IFAC PAPERSONLINE, 2017, 50 (01): : 12243 - 12248
- [33] Partial binary decision diagrams PROCEEDINGS OF THE THIRTY-FOURTH SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY, 2002, : 422 - 425
- [34] Equational binary decision diagrams LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 161 - 178
- [36] Timed binary decision diagrams INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1997, : 352 - 357
- [39] Performance Analysis of Error-Correcting Binary Decision Diagrams COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2011, PT II, 2012, 6928 : 319 - 326