Split Transition Power Abstraction for Unbounded Safety
Informazioni aggiuntive
Autori
Sharygina N.,
Blicha M.,
Fedyukovich G.,
Hyvärinen A.
Tipo
Contributo in atti di convegno
Anno
2022
Lingua
Inglese
Nome convegno
FMCAD 2022
Luogo convegno
Trento, Italy
Data convegno
October 17-21, 2022
