Tzimpragos, Georgios, Vasudevan, Dilip, Tsiskaridze, Nestan, Michelogiannakis, George, Madhavan, Advait, Volk, Jennifer, Shalf, John, and Sherwood, Timothy. A Computational Temporal Logic for Superconducting Accelerators. Retrieved from https://par.nsf.gov/biblio/10176203. 25th International Conference on Architectural Support for Programming Languages and Operating Systems . Web. doi:10.1145/3373376.3378517.

Tzimpragos, Georgios, Vasudevan, Dilip, Tsiskaridze, Nestan, Michelogiannakis, George, Madhavan, Advait, Volk, Jennifer, Shalf, John, & Sherwood, Timothy. A Computational Temporal Logic for Superconducting Accelerators. 25th International Conference on Architectural Support for Programming Languages and Operating Systems, (). Retrieved from https://par.nsf.gov/biblio/10176203. https://doi.org/10.1145/3373376.3378517

Tzimpragos, Georgios, Vasudevan, Dilip, Tsiskaridze, Nestan, Michelogiannakis, George, Madhavan, Advait, Volk, Jennifer, Shalf, John, and Sherwood, Timothy. "A Computational Temporal Logic for Superconducting Accelerators". 25th International Conference on Architectural Support for Programming Languages and Operating Systems (). Country unknown/Code not available. https://doi.org/10.1145/3373376.3378517. https://par.nsf.gov/biblio/10176203.

@article{osti_10176203,
place = {Country unknown/Code not available}, title = {A Computational Temporal Logic for Superconducting Accelerators}, url = {https://par.nsf.gov/biblio/10176203}, DOI = {10.1145/3373376.3378517}, abstractNote = {}, journal = {25th International Conference on Architectural Support for Programming Languages and Operating Systems}, author = {Tzimpragos, Georgios and Vasudevan, Dilip and Tsiskaridze, Nestan and Michelogiannakis, George and Madhavan, Advait and Volk, Jennifer and Shalf, John and Sherwood, Timothy}, }