STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking Chapter uri icon

Overview

publication date

  • January 1, 2022

has restriction

  • closed

Date in CU Experts

  • January 25, 2022 2:28 AM

Full Author List

  • Roberts R; Neupane T; Buecherl L; Myers CJ; Zhang Z

author count

  • 5

Other Profiles

International Standard Book Number (ISBN) 13

  • 9783030945824

Additional Document Info

start page

  • 319

end page

  • 331