Crossmark

Munta: A Verified Model Checker for Timed Automata

Crossref DOI link: https://doi.org/10.1007/978-3-030-29662-9_14

Published Online: 2019-08-13

Published Print: 2019

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

Authors

Wimmer, Simon http://orcid.org/0000-0001-5998-4655
License Information

Text and Data Mining valid from 2019-01-01
More Information

Chapter History

First Online: 13 August 2019

Conference Information

Conference Acronym: FORMATS

Conference Name: International Conference on Formal Modeling and Analysis of Timed Systems

Conference City: Amsterdam

Conference Country: The Netherlands

Conference Year: 2019

Conference Start Date: 27 August 2019

Conference End Date: 29 August 2019

Conference Number: 17

Conference ID: formats2019

Conference URL: https://lipn.univ-paris13.fr/formats2019/

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 42

Number of Full Papers Accepted: 15

Number of Short Papers Accepted: 2

Acceptance Rate of Full Papers: 36% - 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.1

Average Number of Papers per Reviewer: 4.4

External Reviewers Involved: Yes