Home > Research > Publications & Outputs > Real Arithmetic in TLAPM

Research

Associated organisational units

Electronic data

  • NFM_2024_CM

    Accepted author manuscript, 426 KB, PDF document

View graph of relations

Real Arithmetic in TLAPM

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Forthcoming

Standard

Real Arithmetic in TLAPM. / Gunasekera, Ovini; Sogokon, Andrew; Gouglidis, Antonios et al.
NASA Formal Methods 2024. 2024.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Gunasekera, O, Sogokon, A, Gouglidis, A & Suri, N 2024, Real Arithmetic in TLAPM. in NASA Formal Methods 2024.

APA

Gunasekera, O., Sogokon, A., Gouglidis, A., & Suri, N. (in press). Real Arithmetic in TLAPM. In NASA Formal Methods 2024

Vancouver

Gunasekera O, Sogokon A, Gouglidis A, Suri N. Real Arithmetic in TLAPM. In NASA Formal Methods 2024. 2024

Author

Gunasekera, Ovini ; Sogokon, Andrew ; Gouglidis, Antonios et al. / Real Arithmetic in TLAPM. NASA Formal Methods 2024. 2024.

Bibtex

@inproceedings{f45af49ae4524625b97132a2238605de,
title = "Real Arithmetic in TLAPM",
author = "Ovini Gunasekera and Andrew Sogokon and Antonios Gouglidis and Neeraj Suri",
year = "2024",
month = feb,
day = "21",
language = "English",
booktitle = "NASA Formal Methods 2024",

}

RIS

TY - GEN

T1 - Real Arithmetic in TLAPM

AU - Gunasekera, Ovini

AU - Sogokon, Andrew

AU - Gouglidis, Antonios

AU - Suri, Neeraj

PY - 2024/2/21

Y1 - 2024/2/21

M3 - Conference contribution/Paper

BT - NASA Formal Methods 2024

ER -