Reynolds, Andrew

Nötzli, Andres

Barrett, Clark

Tinelli, Cesare

Ivrii, Alexander

Strichman, Ofer

2020-09-11T15:58:10Z

2020-09-11T15:58:10Z

2020

<div class="csl-bib-body"> <div class="csl-entry">Reynolds, A., Nötzli, A., Barrett, C., &#38; Tinelli, C. (2020). Reductions for Strings and Regular Expressions Revisited. In A. Ivrii &#38; O. Strichman (Eds.), <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020</i> (pp. 225–235). TU Wien Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_30</div> </div>

http://hdl.handle.net/20.500.12708/15526

https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_30

en

TU Wien Academic Press

http://creativecommons.org/licenses/by/4.0/

computer-aided system design

Reductions for Strings and Regular Expressions Revisited

Konferenzbeitrag

Inproceedings

Creative Commons Namensnennung 4.0 International

Creative Commons Attribution 4.0 International

10.34727/2020/isbn.978-3-85448-042-6_30

University of Iowa, United States of America (the)

Stanford University, United States of America (the)

Stanford University, United States of America (the)

University of Iowa, United States of America (the)

IBM Research - Haifa, Israel

Technion – Israel Institute of Technology, Israel

978-3-85448-042-6

225

235

Full-Paper Contribution

2708-7824

Wien

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

1

10.34727/2020/isbn.978-3-85448-042-6

vor

30

E192-04 - Forschungsbereich Formal Methods in Systems Engineering

AC17204947

11

Conference Series: Formal Methods in Computer-Aided Design

CC BY 4.0

CC BY 4.0

Publications

with Fulltext

en

conference paper

Open Access

http://purl.org/coar/resource_type/c_5794

open

University of Iowa

Stanford University

Stanford University

University of Iowa