From Real-time Logic to Timed Automata

Research output: Contribution to journal › Article › peer-review

Research Field

@article{2fc1f0f242024aacbc3bc63dd04a000c,

title = "From Real-time Logic to Timed Automata",

author = "Thomas Ferr{\`e}re and Oded Maler and Dejan Nickovic and Amir Pnueli",

year = "2019",

doi = "10.1145/3286976",

language = "English",

volume = "66",

pages = "1--31",

journal = "Journal of ACM",

issn = "0004-5411",

publisher = "Association for Computing Machinery (ACM)",

number = "3",

}