Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/snpd/SalvaLZ15
AU - Salva, Sébastien
AU - Laurençot, Patrice
AU - Zafimiharisoa, Stassia R.
TI - Model Inference of Mobile Applications with Dynamic State Abstraction.
BT - Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015 [revised selected papers from SNPD 2015, Takamatsu, Japan, June 1-3, 2015]
SP - 177
EP - 193
PY - 2015//
DO - 10.1007/978-3-319-23509-7_13
UR - https://doi.org/10.1007/978-3-319-23509-7_13
ER -
