There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 12

Record: found
Abstract: not found
Article: not found

Specifying real-time properties with metric temporal logic

Ron Koymans (1990)

0 comments Cited 132 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Specifying timed state sequences in powerful decidable logics and timed automata

Thomas Wilke (1994)

0 comments Cited 17 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

On the Expressiveness of TPTL and MTL

Patricia Bouyer, Fabrice Chevalier, Nicolas Markey (2005)

0 comments Cited 14 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2014

Pages: 138-150

DOI: 10.1007/978-3-319-11439-2_11

SO-VID: 01165c20-52a7-4cdc-b377-72f3c67cfd3f

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 2

See all cited by

On the Expressiveness of Metric Temporal Logic over Bounded Timed Words

Read this book at

Related collections

Metrics and Research Assessment

Most cited references 12

Specifying real-time properties with metric temporal logic

Specifying timed state sequences in powerful decidable logics and timed automata

On the Expressiveness of TPTL and MTL

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,545

Cited by 2