{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T23:20:12Z","timestamp":1776381612168,"version":"3.51.2"},"reference-count":0,"publisher":"SCITEPRESS - Science and Technology Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.5220\/0009327400270038","type":"proceedings-article","created":{"date-parts":[[2020,5,18]],"date-time":"2020-05-18T18:14:02Z","timestamp":1589825642000},"page":"27-38","source":"Crossref","is-referenced-by-count":4,"title":["CkTail: Model Learning of Communicating Systems"],"prefix":"10.5220","author":[{"given":"S\u00e9bastien","family":"Salva","sequence":"first","affiliation":[{"name":"LIMOS - UMR CNRS 6158, Clermont Auvergne University, France, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elliott","family":"Blot","sequence":"first","affiliation":[{"name":"LIMOS - UMR CNRS 6158, Clermont Auvergne University, France, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"3171","event":{"name":"15th International Conference on Evaluation of Novel Approaches to Software Engineering","location":"Prague, Czech Republic","start":{"date-parts":[[2020,5,5]]},"end":{"date-parts":[[2020,5,6]]}},"container-title":["Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering"],"original-title":["CkTail: Model Learning of Communicating Systems"],"deposited":{"date-parts":[[2020,5,19]],"date-time":"2020-05-19T06:32:35Z","timestamp":1589869955000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0009327400270038"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0009327400270038","relation":{},"subject":[],"published":{"date-parts":[[2020]]}}}