An abstract interpreter for the specification language LOTOS

You are here

TitleAn abstract interpreter for the specification language LOTOS
Publication TypeConference Paper
Year of Publication1994
AuthorsFiore, F, Giannotti, F
Conference NameFORTE
Taxonomy upgrade extras: