Split Transition Power Abstraction for Unbounded Safety
Additional information
Authors
Sharygina N.,
Blicha M.,
Fedyukovich G.,
Hyvärinen A.
Type
Article in conference proceedings
Year
2022
Language
English
Meeting name
FMCAD 2022
Meeting place
Trento, Italy
Meeting date
October 17-21, 2022
