Formal Specification of Compositional Architectures

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

Original language	English
Title of host publication	Proceedings of the 10th European Conference on Artificial Intelligence, ECAI'92
Editors	Bernd Neumann
Publisher	Wiley
Pages	272-276
Number of pages	5
Publication status	Published - 1992

Persistent URL (handle)

@inproceedings{25a9b5814a484c16ab8c54569c82e38d,

title = "Formal Specification of Compositional Architectures",

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

year = "1992",

language = "English",

pages = "272--276",

editor = "Bernd Neumann",

booktitle = "Proceedings of the 10th European Conference on Artificial Intelligence, ECAI'92",

publisher = "Wiley",

}