Gate Splitting in LOTOS Specifications Using Abstract Interpretation

You are here

TitleGate Splitting in LOTOS Specifications Using Abstract Interpretation
Publication TypeConference Paper
Year of Publication1993
AuthorsGiannotti, F, Latella, D
Conference NameTAPSOFT
Taxonomy upgrade extras: