TY  - CONF

T1  - Inferring Finite-State Models with Temporal Constraints.

JO  - ASE

UR  - https://ieeexplore.ieee.org/xpl/conhome/4639292/proceeding

PY  - 2008/11/21

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/11/02

ER  -