Béatrice Bérard, Loïc Hélouët and John Mullins
Article (2016)
An external link is available for this item
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| PolyPublie URL: | https://publications.polymtl.ca/36649/ |
| Journal Title: | ACM Transactions on Embedded Computing Systems (vol. 16, no. 2) |
| Publisher: | Association for Computing Machinery |
| DOI: | 10.1145/2984639 |
| Official URL: | https://doi.org/10.1145/2984639 |
| Date Deposited: | 18 Apr 2023 15:05 |
| Last Modified: | 25 Sep 2024 16:20 |
| Cite in APA 7: | Bérard, B., Hélouët, L., & Mullins, J. (2016). Non-interference in partial order models. ACM Transactions on Embedded Computing Systems, 16(2), 1-34. https://doi.org/10.1145/2984639 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
