{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:43:51Z","timestamp":1729676631783,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1109\/acc.2001.945767","type":"proceedings-article","created":{"date-parts":[[2002,11,13]],"date-time":"2002-11-13T12:56:15Z","timestamp":1037192175000},"page":"4937-4942 vol.6","source":"Crossref","is-referenced-by-count":3,"title":["Efficient application of symbolic tools for resource booking problems"],"prefix":"10.1109","author":[{"given":"A.","family":"Vahidi","sequence":"first","affiliation":[]},{"given":"B.","family":"Lennartson","sequence":"additional","affiliation":[]},{"given":"D.","family":"Arkeryd","sequence":"additional","affiliation":[]},{"given":"M.","family":"Fabian","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Verification of Hierarchical State\/Event Systems using Reusability and Compositionality","volume":"18","author":"behrmann","year":"2001","journal-title":"Formal Methods in System Design"},{"journal-title":"The PEP Tool CAV'97 (Haifa 97)","year":"0","author":"grahlmann","key":"ref11"},{"journal-title":"Proc of International Conference on Computer-Aided Verification (CAV'99) Lecture Notes in Computer Science","first-page":"495","article-title":"NuSMV: a new symbolic model verifier","year":"1999","key":"ref12"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1109\/DAC.1999.781333","article-title":"Symbolic Model Checking using SAT procedures instead of BDDs","author":"biere","year":"1999","journal-title":"Proc Design Automation Conf (DAC 99)"},{"article-title":"Symbolic Synthesis of Supervisory Controllers","year":"0","author":"hoffmann","key":"ref14"},{"journal-title":"Symbolic Systems - Theory Computation and Applications","year":"1995","author":"germundsson","key":"ref15"},{"journal-title":"Proc SRC's Sixth Premier Technical Conference (TECHCON-00)","article-title":"Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking","year":"2000","author":"willimas","key":"ref4"},{"journal-title":"Tools and Algorithms for the Analysis and Construction of Systems","article-title":"Symbolic reachability analysis based on SAT solvers","year":"2000","author":"aziz abdulla","key":"ref3"},{"journal-title":"Communicating Sequential Processes International Series in Computer Science","year":"1985","author":"hoare","key":"ref6"},{"journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","article-title":"Symbolic Model Checking for Sequential Circuit Verification","year":"1993","author":"burch","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"journal-title":"Symbolic methods and tools for discrete event dynamic systems","year":"1997","author":"gunnarsson","key":"ref7"},{"journal-title":"Proc of International Conference on Automated Decution Lecture Notes in Artificial Intelligence 1104","article-title":"SATO: An efficient prepositional prover","year":"1997","author":"zhang","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008725524946"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"}],"event":{"name":"Proceedings of American Control Conference","start":{"date-parts":[[2001,6,25]]},"location":"Arlington, VA, USA","end":{"date-parts":[[2001,6,27]]}},"container-title":["Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7520\/20469\/00945767.pdf?arnumber=945767","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,11]],"date-time":"2020-03-11T04:48:51Z","timestamp":1583902131000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/945767\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/acc.2001.945767","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}