Symbolic Register Automata. / D’Antoni, Loris; Ferreira, Tiago; Sammartino, Matteo; Silva, Alexandra.

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. ed. / Isil Dillig; Serdar Tasiran. Springer-Verlag, 2019. p. 3-21 (Lecture Notes in Computer Science ; Vol. 11561 ).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

E-pub ahead of print
Original languageEnglish
Title of host publicationComputer Aided Verification
Subtitle of host publication31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
EditorsIsil Dillig, Serdar Tasiran
PublisherSpringer-Verlag
Pages3-21
Number of pages19
ISBN (Electronic)978-3-030-25540-4
ISBN (Print)978-3-030-25539-8
DOIs
Publication statusE-pub ahead of print - 12 Jul 2019
Event31st International Conference on Computer Aided Verification, CAV 2019 - New York City, United States
Duration: 15 Jul 201918 Jul 2019

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume11561
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference31st International Conference on Computer Aided Verification, CAV 2019
CountryUnited States
CityNew York City
Period15/07/1918/07/19
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 36024321