共 50 条
- [32] Digital design verification based on P-stable semantics 20TH INTERNATIONAL CONFERENCE ON ELECTRONICS COMMUNICATIONS AND COMPUTERS (CONIELECOMP 2010), 2010, : 212 - 216
- [34] P-stable Boundary Value Methods for Second Order IVPs NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM 2012), VOLS A AND B, 2012, 1479 : 1165 - 1168
- [37] Recent results on p-stable convex compact sets with applications ASYMPTOTIC METHODS IN STOCHASTICS, 2004, 44 : 127 - 139