Transformations and semantics for LOTOS

Research output: Thesis › PhD Thesis - Research UT, graduation UT

Cite this

@phdthesis{74a68edbba054f1caa643fd81bf05ed0,

title = "Transformations and semantics for LOTOS",

author = "Rom Langerak",

year = "1992",

month = nov,

day = "30",

language = "English",

isbn = "90-9005613-0",

publisher = "University of Twente",

address = "Netherlands",

type = "PhD Thesis - Research UT, graduation UT",

school = "University of Twente",

}