{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:38:16Z","timestamp":1729636696031,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/fdl.2008.4641435","type":"proceedings-article","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T19:14:34Z","timestamp":1224011674000},"page":"136-141","source":"Crossref","is-referenced-by-count":1,"title":["The performance of combining multiway decision graphs and HOL theorem prover"],"prefix":"10.1109","author":[{"given":"Sa'ed","family":"Abed","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Otmane Ait","family":"Mohamed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ghiath Al","family":"Sammane","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/47.1.71"},{"key":"18","first-page":"233","article-title":"formal verification of the island tunnel controller using multiway decision graphs","author":"zhou","year":"1996","journal-title":"FMCAD '96"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30476-0_24"},{"year":"0","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0082-5"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03809-3"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1112\/S1461157000000693"},{"journal-title":"Introduction to HOL A Theorem Proving Environment for Higher Order Logic","year":"1993","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1363686.1363774"},{"article-title":"formalizing mdgs basic operations as inference rules in the hol theorem prover","year":"2008","author":"abed","key":"2"},{"key":"1","first-page":"659","article-title":"embedding of mdg directed formulae in hol theorem prover","author":"abed","year":"2006","journal-title":"Proc 9th MCSEAI'06"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44659-1_12"},{"year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/10930755_11"},{"key":"4","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/S0304-3975(01)00345-0","article-title":"on the nontermination of mdg-based abstract state enumeration","volume":"300","author":"ait-mohamed","year":"2003","journal-title":"Theoretical Computer Science"},{"key":"9","article-title":"edinburgh lcf","volume":"78","author":"gordon","year":"1979","journal-title":"LNCS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008663530211"}],"event":{"name":"Design Languages (FDL)","start":{"date-parts":[[2008,9,23]]},"location":"Stuttgart","end":{"date-parts":[[2008,9,25]]}},"container-title":["2008 Forum on Specification, Verification and Design Languages"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4636106\/4641405\/04641435.pdf?arnumber=4641435","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T12:32:19Z","timestamp":1497789139000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4641435\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/fdl.2008.4641435","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}