@inproceedings{inproceedings, title  = {{Inferring Finite-State Models with Temporal Constraints.}},

 publisher = {{IEEE Computer Society}},

 url = {{https://ieeexplore.ieee.org/xpl/conhome/4639292/proceeding }},

 year = {{2008}},

 month = {{11}},

 author = {{Walkinshaw N and Bogdanov K}},

 doi = {{10.1109/ASE.2008.35}},

 isbn = {{978-1-4244-2187-9}},

 journal = {{ASE}},

 pages = {{248-257}},

 note = {{Accessed on 2025/11/02}}}