Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/lata/GantyR14
AU - Ganty, Pierre
AU - Rezine, Ahmed
TI - Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized Verification.
BT - Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings
SP - 396
EP - 408
PY - 2014//
DO - 10.1007/978-3-319-04921-2_32
UR - https://doi.org/10.1007/978-3-319-04921-2_32
ER -
