Gate Splitting in LOTOS Specifications Using Abstract Interpretation

You are here

TitleGate Splitting in LOTOS Specifications Using Abstract Interpretation
Publication TypeJournal Article
Year of Publication1994
AuthorsGiannotti, F, Latella, D
JournalSci. Comput. Program.
Volume23
Issue2-3
Pagination127-149
Taxonomy upgrade extras: