{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:41:54Z","timestamp":1757544114539},"reference-count":0,"publisher":"Lavoisier","issue":"7","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["TSI"],"published-print":{"date-parts":[[2004,7,1]]},"DOI":"10.3166\/tsi.23.855-878","type":"journal-article","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T09:16:03Z","timestamp":1219828563000},"page":"855-878","source":"Crossref","is-referenced-by-count":6,"title":["Validation des r\u00e8gles de base de l'Atelier B"],"prefix":"10.3166","volume":"23","author":[{"given":"Karim","family":"Berkani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catherine","family":"Dubois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Faivre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Falampin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1762","container-title":["Techniques et sciences informatiques"],"original-title":[],"deposited":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T09:12:30Z","timestamp":1219828350000},"score":1,"resource":{"primary":{"URL":"http:\/\/tsi.revuesonline.com\/article.jsp?articleId=5399"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,7,1]]},"references-count":0,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2004,7,1]]}},"URL":"https:\/\/doi.org\/10.3166\/tsi.23.855-878","relation":{},"ISSN":["0752-4072"],"issn-type":[{"value":"0752-4072","type":"print"}],"subject":[],"published":{"date-parts":[[2004,7,1]]}}}