Symbolic Register Automata

Loris D’Antoni; Tiago Ferreira; Matteo Sammartino; Alexandra Silva

doi:10.1007/978-3-030-25540-4_1

Symbolic Register Automata

Loris D’Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Computer Aided Verification
Subtitle of host publication	31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Editors	Isil Dillig, Serdar Tasiran
Publisher	Springer-Verlag
Pages	3-21
Number of pages	19
ISBN (Electronic)	978-3-030-25540-4
ISBN (Print)	978-3-030-25539-8
DOIs	https://doi.org/10.1007/978-3-030-25540-4_1
Publication status	E-pub ahead of print - 12 Jul 2019
Event	31st International Conference on Computer Aided Verification, CAV 2019 - New York City, United States Duration: 15 Jul 2019 → 18 Jul 2019

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	11561
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	31st International Conference on Computer Aided Verification, CAV 2019
Country/Territory	United States
City	New York City
Period	15/07/19 → 18/07/19

Access to Document

10.1007/978-3-030-25540-4_1Licence: CC BY

Cite this

D’Antoni, L., Ferreira, T., Sammartino, M., & Silva, A. (2019). Symbolic Register Automata. In I. Dillig, & S. Tasiran (Eds.), Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (pp. 3-21). (Lecture Notes in Computer Science ; Vol. 11561 ). Springer-Verlag. Advance online publication. https://doi.org/10.1007/978-3-030-25540-4_1

@inproceedings{dc55b85d4efc4ce3bb687e96d55b95d3,

title = "Symbolic Register Automata",

author = "Loris D{\textquoteright}Antoni and Tiago Ferreira and Matteo Sammartino and Alexandra Silva",

year = "2019",

month = jul,

day = "12",

doi = "10.1007/978-3-030-25540-4_1",

language = "English",

isbn = "978-3-030-25539-8",

series = "Lecture Notes in Computer Science ",

publisher = "Springer-Verlag",

pages = "3--21",

editor = "Isil Dillig and Serdar Tasiran",

booktitle = "Computer Aided Verification",

note = "31st International Conference on Computer Aided Verification, CAV 2019 ; Conference date: 15-07-2019 Through 18-07-2019",

}

D’Antoni, L, Ferreira, T, Sammartino, M & Silva, A 2019, Symbolic Register Automata. in I Dillig & S Tasiran (eds), Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. Lecture Notes in Computer Science , vol. 11561 , Springer-Verlag, pp. 3-21, 31st International Conference on Computer Aided Verification, CAV 2019, New York City, United States, 15/07/19. https://doi.org/10.1007/978-3-030-25540-4_1

Symbolic Register Automata. / D’Antoni, Loris; Ferreira, Tiago; Sammartino, Matteo et al.
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 proceeding › Conference contribution

TY - GEN

T1 - Symbolic Register Automata

AU - D’Antoni, Loris

AU - Ferreira, Tiago

AU - Sammartino, Matteo

AU - Silva, Alexandra

PY - 2019/7/12

Y1 - 2019/7/12

UR - http://www.scopus.com/inward/record.url?scp=85069835537&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-25540-4_1

DO - 10.1007/978-3-030-25540-4_1

M3 - Conference contribution

AN - SCOPUS:85069835537

SN - 978-3-030-25539-8

T3 - Lecture Notes in Computer Science

SP - 3

EP - 21

BT - Computer Aided Verification

A2 - Dillig, Isil

A2 - Tasiran, Serdar

PB - Springer-Verlag

T2 - 31st International Conference on Computer Aided Verification, CAV 2019

Y2 - 15 July 2019 through 18 July 2019

ER -

Symbolic Register Automata

Publication series

Conference

Access to Document

Other files and links

Cite this