Inproceedings,
Polynomial reachability witnesses via Stellensätze.
A. Asadi, K. Chatterjee, H. Fu, A. Goharshady, and M. Mahdavi.PLDI, page 772-787. ACM, (2021)
Meta data
- BibTeX key
- conf/pldi/AsadiC0GM21
- entry type
- inproceedings
- booktitle
- PLDI
- year
- 2021
- pages
- 772-787
- publisher
- ACM
- crossref
- conf/pldi/2021
- ee
- https://doi.org/10.1145/3453483.3454076
- isbn
- 978-1-4503-8391-2
- url
- http://dblp.uni-trier.de/db/conf/pldi/pldi2021.html#AsadiC0GM21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pldi/AsadiC0GM21
%A Asadi, Ali
%A Chatterjee, Krishnendu
%A Fu, Hongfei
%A Goharshady, Amir Kafshdar
%A Mahdavi, Mohammad
%B PLDI
%D 2021
%E Freund, Stephen N.
%E Yahav, Eran
%I ACM
%K dblp
%P 772-787
%T Polynomial reachability witnesses via Stellensätze.
%U http://dblp.uni-trier.de/db/conf/pldi/pldi2021.html#AsadiC0GM21
%@ 978-1-4503-8391-2
@inproceedings{conf/pldi/AsadiC0GM21,
added-at = {2022-06-23T00:00:00.000+0200},
author = {Asadi, Ali and Chatterjee, Krishnendu and Fu, Hongfei and Goharshady, Amir Kafshdar and Mahdavi, Mohammad},
biburl = {https://www.bibsonomy.org/bibtex/25e9a31eda270151cafa191a76c85fe58/dblp},
booktitle = {PLDI},
crossref = {conf/pldi/2021},
editor = {Freund, Stephen N. and Yahav, Eran},
ee = {https://doi.org/10.1145/3453483.3454076},
interhash = {2162e82912f2e92f2fab0f18afdefb9a},
intrahash = {5e9a31eda270151cafa191a76c85fe58},
isbn = {978-1-4503-8391-2},
keywords = {dblp},
pages = {772-787},
publisher = {ACM},
timestamp = {2024-04-09T18:59:58.000+0200},
title = {Polynomial reachability witnesses via Stellensätze.},
url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2021.html#AsadiC0GM21},
year = 2021
}