Advanced search
1 file | 213.80 KB Add to list

Scheduled maintenance: Publication downloads temporarily unavailable.

Due to maintenance publication downloads will not be available on:

  • Wednesday, March 27, 17:00 – 21:00
  • Thursday, March 28, 17:00 – 21:00

Exports of lists, FWO and BOF information will remain available.

For any questions, please contact biblio@ugent.be. Apologies for any inconveniences, and thank you for your understanding.

Formal Methods Unifying Computer Science and Systems Theory

Author
Organization

Downloads

  • Berkeley04Pres.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 213.80 KB

Citation

Please use this url to cite or link to this publication:

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