A compositional architecture for simple design formally specified in DESIRE

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

Original language	English
Title of host publication	Formal specification of complex reasoning systems
Editors	J. Treur, T. Wetter
Publisher	Ellis Horwood
Pages	143-172
ISBN (Print)	0-13-336785-1
Publication status	Published - 1993

Access to Document

@inproceedings{a35822bddf064c41ac3dd9d05108bae9,

title = "A compositional architecture for simple design formally specified in DESIRE",

author = "Langevelde, \{Izak van\} and Philipsen, \{Albert W.\} and J. Treur",

year = "1993",

language = "English",

isbn = "0-13-336785-1",

pages = "143--172",

editor = "J. Treur and T. Wetter",

booktitle = "Formal specification of complex reasoning systems",

publisher = "Ellis Horwood",

}