Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/lata/GruneFCHR17
%A Grune, Dick
%A Fokkink, Wan J.
%A Chatzikalymnios, Evangelos
%A Hond, Brinio
%A Rutgers, Peter
%B LATA
%D 2017
%E Drewes, Frank
%E Martín-Vide, Carlos
%E Truthe, Bianca
%K dblp
%P 421-434
%T Detecting Useless Transitions in Pushdown Automata.
%U http://dblp.uni-trier.de/db/conf/lata/lata2017.html#GruneFCHR17
%V 10168
%@ 978-3-319-53732-0
@inproceedings{conf/lata/GruneFCHR17,
added-at = {2020-05-18T00:00:00.000+0200},
author = {Grune, Dick and Fokkink, Wan J. and Chatzikalymnios, Evangelos and Hond, Brinio and Rutgers, Peter},
biburl = {https://www.bibsonomy.org/bibtex/241c06b313100e2127d5ed6d3673d9472/dblp},
booktitle = {LATA},
crossref = {conf/lata/2017},
editor = {Drewes, Frank and Martín-Vide, Carlos and Truthe, Bianca},
ee = {https://doi.org/10.1007/978-3-319-53733-7_31},
interhash = {3ffb421f4856820b9e05508b20aebec9},
intrahash = {41c06b313100e2127d5ed6d3673d9472},
isbn = {978-3-319-53732-0},
keywords = {dblp},
pages = {421-434},
series = {Lecture Notes in Computer Science},
timestamp = {2020-05-19T12:35:40.000+0200},
title = {Detecting Useless Transitions in Pushdown Automata.},
url = {http://dblp.uni-trier.de/db/conf/lata/lata2017.html#GruneFCHR17},
volume = 10168,
year = 2017
}