共 50 条
- [35] An operational semantics for Weak PSL FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2004, 3312 : 337 - 351
- [36] PSL: Beyond hardware verification NEXT GENERATION DESIGN AND VERIFICATION METHODOLOGIES FOR DISTRIBUTED EMBEDDED CONTROL SYSTEMS, 2007, : 245 - +
- [37] A FINITENESS THEOREM FOR SUBGROUPS OF PSL(2, R)WHICH ARE COMMENSURABLE WITH PSL(2, Z) PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS, 1980, 37 : 533 - 555
- [38] Periodical split for the groups PSL(2,31) and PSL(2,37) JOURNAL OF DISCRETE MATHEMATICAL SCIENCES & CRYPTOGRAPHY, 2022, 25 (02): : 605 - 608