Cite this as

Shaokai Lin, Erling Jellum, Mirco Theile, Tassilo Tanneberger, Binqi Sun, Chadlia Jerad, Ruomu Xu, Guangyu Feng, Christian Menard, Marten Lohstroh, Jeronimo Castrillon, Sanjit Seshia, Edward Lee (2024). Dataset: Precision-Timed Virtual Machine (PRETVM). Resource: Original Metadata. https://doi.org/10.57702/2lrcb092

DOI retrieved: December 17, 2024