共 50 条
- [32] AUTOMATING WEB HISTORY ANALYSIS IDIMT-2012: ICT SUPPORT FOR COMPLEX SYSTEMS, 2012, 38 : 313 - 323
- [33] Automating Coinduction with Case Analysis FORMAL METHODS AND SOFTWARE ENGINEERING, 2010, 6447 : 220 - +
- [34] Automating the analysis of voting systems ISSRE 2003: 14TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2003, : 203 - 214
- [35] Automating image quality analysis IS&T'S NIP14: INTERNATIONAL CONFERENCE ON DIGITAL PRINTING TECHNOLOGIES, PROCEEDINGS, 1998, : 627 - 630
- [38] METHODS OF LIGHTNING LOCATIONS - CONTEMPORARY STATE RADIOTEKHNIKA I ELEKTRONIKA, 1992, 37 (07): : 1153 - 1167
- [39] MODERN PROBLEMS AND METHODS IN LIGHTNING RESEARCH ELEKTROTECHNISCHE ZEITSCHRIFT ETZ-A, 1978, 99 (11): : 652 - 654