Using Abstract Interpretation for Gate splitting in LOTOS Specifications

You are here

TitleUsing Abstract Interpretation for Gate splitting in LOTOS Specifications
Publication TypeConference Paper
Year of Publication1992
AuthorsGiannotti, F, Latella, D
Conference NameWSA
Taxonomy upgrade extras: