共 50 条
- [22] Authorship Verification of Literary Texts with Rhythm Features PROCEEDINGS OF THE 28TH CONFERENCE OF OPEN INNOVATIONS ASSOCIATION FRUCT, 2021, : 240 - 251
- [23] FORMAL DEFINITION AND REPRESENTATION OF INTERACTION POINTS COMPUTER NETWORKS AND ISDN SYSTEMS, 1992, 25 (01): : 3 - 22
- [25] DEFINITION AND VALUE OF AVERAGE ALPHA RHYTHM AND ITS TOPOGRAPHY ELECTROENCEPHALOGRAPHY AND CLINICAL NEUROPHYSIOLOGY, 1967, 23 (04): : 384 - &
- [27] On formal definition and analysis of formal verification processes Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8373 : 35 - 52
- [28] FORMAL DEFINITION AND VERIFICATION OF PROTOCOLS USING CCS AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1986, (06): : 21 - 30