Joseph Sifakis
A Framework for Component-based Construction Extended Abstract
SEFM, 2005.
@inproceedings{SEFM-2005-Sifakis, author = "Joseph Sifakis", booktitle = "{Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods}", doi = "10.1109/SEFM.2005.3", isbn = "0-7695-2435-4", pages = "293--300", publisher = "{IEEE Computer Society}", title = "{A Framework for Component-based Construction Extended Abstract}", year = 2005, }