TY - CONF T1 - Inferring Finite-State Models with Temporal Constraints. JO - ASE UR - http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4639292 PY - 2008/01/01 AU - Walkinshaw N AU - Bogdanov K ED - DO - DOI: 10.1109/ASE.2008.35 PB - IEEE Computer Society SN - 978-1-4244-2187-9 SP - 248 EP - 257 Y2 - 2025/05/27 ER -