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
Luogo convegno
Trento, Italy
Data convegno
October 17-21, 2022
Nome convegno
FMCAD 2022
