Timed Temporal Logics

Bouyer, Patricia; Laroussinie, François; Markey, Nicolas; Ouaknine, Joël; Worrell, James

doi:10.1007/978-3-319-63121-9_11

Local TagsRelease HistoryDetailsSummary

Timed Temporal Logics

Bouyer, P., Laroussinie, F., Markey, N., Ouaknine, J., & Worrell, J. (2017). Timed Temporal Logics. In L. Aceto, G. Bacci, G. Bacci, A. Ingólfsdóttir, A. Legay, & R. Mardare (Eds.), Models, Algorithms, Logics and Tools (pp. 211-230). Berlin: Springer. doi:10.1007/978-3-319-63121-9_11.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0000-EE4F-D Version Permalink: https://hdl.handle.net/21.11116/0000-0000-EE50-A

Genre: Book Chapter

Files

show Files

Locators

show

Creators

show

hide

Creators:
Bouyer, Patricia¹, Author
Laroussinie, François¹, Author
Markey, Nicolas¹, Author
Ouaknine, Joël², Author
Worrell, James¹, Author

Affiliations:
1External Organizations, ou_persistent22
2Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society, ou_2541691

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2017Date issued: 2017

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Bouyer2017
DOI: 10.1007/978-3-319-63121-9_11

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Models, Algorithms, Logics and Tools

Subtitle : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Source Genre: Book

Creator(s):
Aceto, Luca¹, Editor
Bacci, Giorgio¹, Editor
Bacci, Giovanni¹, Editor
Ingólfsdóttir, Anna¹, Editor
Legay, Axel¹, Editor
Mardare, Radu¹, Editor

Affiliations:
1 External Organizations, ou_persistent22

Publ. Info: Berlin : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 211 - 230 Identifier: ISBN: 978-3-319-63120-2

Source 2

show

hide

Title: Lecture Notes in Computer Science

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 10460 Sequence Number: - Start / End Page: - Identifier: -