Formal Methods Unifying Computer Science and Systems Theory
- Author
- Raymond Boute
- Organization
Downloads
-
Berkeley04Pres.pdf
- full text
- |
- open access
- |
- |
- 213.80 KB
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-315329
- MLA
- Boute, Raymond. “Formal Methods Unifying Computer Science and Systems Theory.” Center for Hybrid and Embedded Software Systems (CHESS) Seminar, 2004, doi:1854/3213.
- APA
- Boute, R. (2004). Formal Methods Unifying Computer Science and Systems Theory. Center for Hybrid and Embedded Software Systems (CHESS) Seminar. https://doi.org/1854/3213
- Chicago author-date
- Boute, Raymond. 2004. “Formal Methods Unifying Computer Science and Systems Theory.” Center for Hybrid and Embedded Software Systems (CHESS) Seminar. https://doi.org/1854/3213.
- Chicago author-date (all authors)
- Boute, Raymond. 2004. “Formal Methods Unifying Computer Science and Systems Theory.” Center for Hybrid and Embedded Software Systems (CHESS) Seminar. doi:1854/3213.
- Vancouver
- 1.Boute R. Formal Methods Unifying Computer Science and Systems Theory. Center for Hybrid and Embedded Software Systems (CHESS) Seminar. 2004;
- IEEE
- [1]R. Boute, “Formal Methods Unifying Computer Science and Systems Theory,” Center for Hybrid and Embedded Software Systems (CHESS) Seminar, 2004.
@article{315329, author = {{Boute, Raymond}}, journal = {{Center for Hybrid and Embedded Software Systems (CHESS) Seminar}}, language = {{und}}, title = {{Formal Methods Unifying Computer Science and Systems Theory}}, url = {{http://doi.org/1854/3213}}, year = {{2004}}, }
- Altmetric
- View in Altmetric