{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T21:45:15Z","timestamp":1710366315802},"reference-count":8,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.161.18","type":"journal-article","created":{"date-parts":[[2014,8,24]],"date-time":"2014-08-24T01:24:50Z","timestamp":1408843490000},"page":"203-216","source":"Crossref","is-referenced-by-count":16,"title":["Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power"],"prefix":"10.4204","volume":"161","author":[{"given":"Davide","family":"Bresolin","sequence":"first","affiliation":[{"name":"University of Bologna"}]},{"given":"Khaled","family":"El-Fakih","sequence":"additional","affiliation":[{"name":"American University of Sharjah"}]},{"given":"Tiziano","family":"Villa","sequence":"additional","affiliation":[{"name":"University of Verona"}]},{"given":"Nina","family":"Yevtushenko","sequence":"additional","affiliation":[{"name":"Tomsk State University"}]}],"member":"2720","published-online":{"date-parts":[[2014,8,24]]},"reference":[{"issue":"2","key":"Alur-tcs1994","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"ElFakih2013","doi-asserted-by":"crossref","first-page":"205","DOI":"10.14232\/actacyb.21.2.2013.1","article-title":"Distinguishing Experiments for Timed Nondeterministic Finite State Machines","volume":"212","author":"El-Fakih","year":"2013","journal-title":"Acta Cybernetica"},{"issue":"0","key":"ElFakih-scp2014","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/j.scico.2013.09.008","article-title":"A practical approach for testing timed deterministic finite state machines with single clock","volume":"80, Part B","author":"El-Fakih","year":"2014","journal-title":"Science of Computer Programming"},{"key":"Gromov2009","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-642-02138-1_9","article-title":"Distinguishing Non-deterministic Timed Finite State Machines","volume-title":"Formal Techniques for Distributed Systems","volume":"5522","author":"Gromov","year":"2009"},{"issue":"2","key":"Hierons-jlap2009","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.jlap.2008.06.001","article-title":"Testing from a stochastic timed system with a fault model","volume":"78","author":"Hierons","year":"2009","journal-title":"The Journal of Logic and Algebraic Programming"},{"issue":"2","key":"Merayo2008","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1016\/j.comnet.2007.10.002","article-title":"Formal testing from timed finite state machines","volume":"52","author":"Merayo","year":"2008","journal-title":"Computer Networks"},{"key":"villa-ucp-book","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68759-9","volume-title":"The unknown component problem: theory and applications","author":"Villa","year":"2012"},{"key":"Zhigulin2011","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1109\/QSIC.2011.30","article-title":"FSM-Based Test Derivation Strategies for Systems with Time-Outs","volume-title":"Proc. of the 11th Int. Conf. on Quality Software (QSIC 2011)","author":"Zhigulin","year":"2011"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T15:17:05Z","timestamp":1498144625000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1408.5967v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,24]]},"references-count":8,"URL":"https:\/\/doi.org\/10.4204\/eptcs.161.18","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,8,24]]}}}