Paper Publications

Current position: Home > Scientific Research > Paper Publications

Lazy Slicing for State-Space Exploration

  • Release time:2024-02-28
  • Hits:

  • Journal: 

    计算机科学技术学报(英文版)

  • Volume: 

    4

  • Page Number: 

    872-890

  • ISSN No.: 

    1000-9000

  • Translation or Not: 

    no

  • Date of Publication: 

    2012