Crossmark

Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

Crossref DOI link: https://doi.org/10.1007/978-3-030-45237-7_4

Published Online: 2020-04-17

Published Print: 2020

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Lang, Frédéric

Mateescu, Radu

Mazzanti, Franco
License Information

Text and Data Mining valid from 2020-01-01

Version of Record valid from 2020-04-17

Text and Data Mining valid from 2020-01-01

Version of Record valid from 2020-04-17
More Information

Chapter History

First Online: 17 April 2020

Conference Information

Conference Acronym: TACAS

Conference Name: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Conference City: Dublin

Conference Country: Ireland

Conference Year: 2020

Conference Start Date: 25 April 2020

Conference End Date: 30 April 2020

Conference Number: 26

Conference ID: tacas2020

Conference URL: https://www.etaps.org/2020/tacas

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: Easychair

Number of Submissions Sent for Review: 155

Number of Full Papers Accepted: 40

Number of Short Papers Accepted: 8

Acceptance Rate of Full Papers: 26% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.

Average Number of Reviews per Paper: 3

Average Number of Papers per Reviewer: 14

External Reviewers Involved: Yes

Additional Info on Review Process: The conference could not take place due to the COVID-19 pandemic. There was an online event on July 2, 2020.