Open Access
Open access
Electronic Proceedings in Theoretical Computer Science, EPTCS, volume 408, pages 73-89

When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics

Publication type: Journal Article
Publication date: 2024-10-01
SJR: 0.370
CiteScore: 1.1
Impact factor: —
ISSN: 20752180
Found 

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.
Metrics
Share
Cite this
GOST |
Cite this
GOST Copy
Ho H., Madnani K. When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics // Electronic Proceedings in Theoretical Computer Science, EPTCS. 2024. Vol. 408. pp. 73-89.
GOST all authors (up to 50) Copy
Ho H., Madnani K. When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics // Electronic Proceedings in Theoretical Computer Science, EPTCS. 2024. Vol. 408. pp. 73-89.
RIS |
Cite this
RIS Copy
TY - JOUR
DO - 10.4204/eptcs.408.5
UR - https://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2023.5
TI - When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics
T2 - Electronic Proceedings in Theoretical Computer Science, EPTCS
AU - Ho, Hsi-Ming
AU - Madnani, Khushraj
PY - 2024
DA - 2024/10/01
PB - electronic proceedings in theoretical computer science, eptcs
SP - 73-89
VL - 408
SN - 2075-2180
ER -
BibTex
Cite this
BibTex (up to 50 authors) Copy
@article{2024_Ho,
author = {Hsi-Ming Ho and Khushraj Madnani},
title = {When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics},
journal = {Electronic Proceedings in Theoretical Computer Science, EPTCS},
year = {2024},
volume = {408},
publisher = {electronic proceedings in theoretical computer science, eptcs},
month = {oct},
url = {https://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2023.5},
pages = {73--89},
doi = {10.4204/eptcs.408.5}
}
Found error?