1 citations · 2 across the 7 of their papers we have counts for
1 paper · 1 filter
Abhijit Paul, Proma Chowdhury, Kazi Sakib
Labeled Transition Systems (LTS) are integral to model checking and design repair tools. System engineers frequently examine LTS designs during model checking or design repair to d…