Simulation techniques for the validation of lotos specifications

E.H. Eertink

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

Keywords

@phdthesis{0282d5196d7046cb87bbfa8b2fa28764,

title = "Simulation techniques for the validation of lotos specifications",

keywords = "METIS-118412",

author = "E.H. Eertink",

year = "1994",

month = mar,

day = "24",

language = "Undefined",

isbn = "90-9006972-0",

publisher = "University of Twente",

address = "Netherlands",

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

school = "University of Twente",

}