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/04/27

ER  -