共 50 条
- [11] Partition refinement in abstract model checking TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 209 - +
- [12] Counterexample driven refinement for abstract interpretation TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 474 - 488
- [16] AN ABSTRACT FORMULATION OF QUANTUM DYNAMICS BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1965, 13 (04): : 329 - +
- [20] Variational PatchMatch MultiView Reconstruction and Refinement 2015 IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV), 2015, : 882 - 890