Enhancements of LOTOS

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Original language	Undefined
Title of host publication	LOTOSphere, software Development with LOTOS
Publisher	Kluwer Academic Publishers
Pages	453-466
ISBN (Print)	0-7923-9529-8
Publication status	Published - 1995

Keywords

@inbook{72a3429b4644494d902c2a8975e417a6,

title = "Enhancements of LOTOS",

keywords = "METIS-119004",

author = "Hendrik Brinksma and G. Leih",

year = "1995",

language = "Undefined",

isbn = "0-7923-9529-8",

pages = "453--466",

booktitle = "LOTOSphere, software Development with LOTOS",

publisher = "Kluwer Academic Publishers",

address = "Netherlands",

}