Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/kbse/WalkinshawB08
AU - Walkinshaw, Neil
AU - Bogdanov, Kirill
TI - Inferring Finite-State Models with Temporal Constraints.
BT - 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L'Aquila, Italy
SP - 248
EP - 257
PY - 2008//
DO - 10.1109/ASE.2008.35
UR - https://doi.org/10.1109/ASE.2008.35
UR - https://doi.ieeecomputersociety.org/10.1109/ASE.2008.35
ER -
