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 13

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
Article: not found

Well-structured transition systems everywhere!

A Finkel, Ph. Schnoebelen (2001)

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

Bookmark

Record: found
Abstract: not found
Article: not found

A really temporal logic

Rajeev Alur, Thomas Henzinger (1994)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2006

Pages: 217-230

DOI: 10.1007/11690634_15

SO-VID: 8fcd0a6e-34fd-49c6-b6a8-dfd3ee9e57ba

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 19

Some Recent Results in Metric Temporal Logic
Authors: Joel Ouaknine, James Worrell
Safety Metric Temporal Logic Is Fully Decidable
Authors: Joel Ouaknine, James Worrell
Complexity Hierarchies beyond Elementary
Authors: Sylvain Schmitz

See all cited by

On Metric Temporal Logic and Faulty Turing Machines

Read this book at

Related collections

Metrics and Research Assessment

Most cited references 13

Specifying real-time properties with metric temporal logic

Well-structured transition systems everywhere!

A really temporal logic

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,351

Cited by 19