Enhancements of LOTOS

E. Brinksma, G. Leih

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

Abstract

No abstract.

Original language	English
Title of host publication	LOTOSphere : software development with LOTOS
Editors	T. Bolognesi, J. Lagemaat, van de, C.A. Vissers
Place of Publication	Norwell MA, USA
Publisher	Kluwer Academic Publishers
Pages	453-466
ISBN (Print)	0-7923-9529-8
Publication status	Published - 1995

@inbook{653c66e3a3364367aeecce256e714e76,

title = "Enhancements of LOTOS",

abstract = "No abstract.",

author = "E. Brinksma and G. Leih",

year = "1995",

language = "English",

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

pages = "453--466",

editor = "T. Bolognesi and \{Lagemaat, van de\}, J. and C.A. Vissers",

booktitle = "LOTOSphere : software development with LOTOS",

publisher = "Kluwer Academic Publishers",

address = "Netherlands",

}