共 50 条
- [2] INTEREST ON THE BALANCES OF CHECKING ACCOUNTS [J]. COLUMBIA LAW REVIEW, 1927, 27 (06) : 633 - 649
- [3] SELECTING AND CHECKING PACEMAKERS [J]. ANNALES DE CARDIOLOGIE ET D ANGEIOLOGIE, 1976, 25 (02): : 149 - 153
- [4] GET-TOGETHER ON WEIGHTS AND BALANCES [J]. JOURNAL OF SCIENTIFIC & INDUSTRIAL RESEARCH, 1969, 28 (03): : 73 - &
- [5] COMPARATORS FOR CHECKING LARGE WEIGHTS [J]. MEASUREMENT TECHNIQUES USSR, 1987, 30 (12): : 1164 - 1167
- [9] On Selecting Constraints for Replication in Model Checking [J]. 2017 IEEE 29TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2017), 2017, : 876 - 883