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

 publisher = {{IEEE Computer Society}},

 url = {{http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4639292 }},

 year = {{2008}},

 month = {{1}},

 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/03/03}}}