共 50 条
- [33] INTEGRATED SEMICONDUCTOR CIRCUITS APPROACH VERY LARGE-SCALE INTEGRATION NACHRICHTENTECHNISCHE ZEITSCHRIFT, 1978, 31 (09): : 660 - 668
- [34] Stochastic Generator Availability Modeling on Very Large Transmission Network Systems 2016 INTERNATIONAL CONFERENCE ON PROBABILISTIC METHODS APPLIED TO POWER SYSTEMS (PMAPS), 2016,
- [35] Verifying very large industrial circuits using 100 processes and beyond AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 11 - 25
- [36] SIMULATION OF VERY LARGE SCALE INTEGRATED CIRCUITS. AN OVERVIEW. Modeling and Simulation, Proceedings of the Annual Pittsburgh Conference, 1979,
- [37] Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 9364 : 131 - 147
- [38] Disjunctive partitioning and partial iterative squaring: An effective approach for symbolic traversal of large circuits DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 728 - 733