Rahmani, Amir M., Donyanavard, Bryan, Müch, Tiago, Moazzemi, Kasra, Jantsch, Axel, Mutlu, Onur, and Dutt, Nikil. SPECTR: Formal Supervisory Control and Coordination for Many-core Systems Resource Management. Retrieved from https://par.nsf.gov/biblio/10076107. The 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’18) . Web. doi:10.1145/3173162.3173199.

Rahmani, Amir M., Donyanavard, Bryan, Müch, Tiago, Moazzemi, Kasra, Jantsch, Axel, Mutlu, Onur, & Dutt, Nikil. SPECTR: Formal Supervisory Control and Coordination for Many-core Systems Resource Management. The 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’18), (). Retrieved from https://par.nsf.gov/biblio/10076107. https://doi.org/10.1145/3173162.3173199

Rahmani, Amir M., Donyanavard, Bryan, Müch, Tiago, Moazzemi, Kasra, Jantsch, Axel, Mutlu, Onur, and Dutt, Nikil. "SPECTR: Formal Supervisory Control and Coordination for Many-core Systems Resource Management". The 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’18) (). Country unknown/Code not available. https://doi.org/10.1145/3173162.3173199. https://par.nsf.gov/biblio/10076107.

@article{osti_10076107,
place = {Country unknown/Code not available}, title = {SPECTR: Formal Supervisory Control and Coordination for Many-core Systems Resource Management}, url = {https://par.nsf.gov/biblio/10076107}, DOI = {10.1145/3173162.3173199}, abstractNote = {}, journal = {The 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’18)}, author = {Rahmani, Amir M. and Donyanavard, Bryan and Müch, Tiago and Moazzemi, Kasra and Jantsch, Axel and Mutlu, Onur and Dutt, Nikil}, }