{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:16:31Z","timestamp":1729649791428,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/sies.2010.5551396","type":"proceedings-article","created":{"date-parts":[[2010,8,24]],"date-time":"2010-08-24T15:38:07Z","timestamp":1282664287000},"page":"197-200","source":"Crossref","is-referenced-by-count":1,"title":["Context modelling and partial-order reduction: Application to SDL industrial embedded systems"],"prefix":"10.1109","author":[{"given":"Xavier","family":"Dumas","sequence":"first","affiliation":[]},{"given":"Frederic","family":"Boniol","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Dhaussy","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Bonnafous","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"491","article-title":"Stubborn sets for reduced state space generation","author":"valmari","year":"1991","journal-title":"Proceedings of the 10th International Conference on Applications and Theory of Petri Nets"},{"key":"ref3","first-page":"142","article-title":"Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem","volume":"1032","author":"godefroid","year":"1996"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1142\/9789814261456_0001"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1007\/978-3-642-04425-0_34","article-title":"Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation","volume":"5795","author":"dhaussy","year":"2009","journal-title":"Springer Verlag Lecture Notes in Computer Science Model Driven Engineering Languages and Systems"},{"key":"ref8","first-page":"457","article-title":"Partial Commutation and Traces, Handbook of formal languages","volume":"3","author":"diekert","year":"1997"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0079468","article-title":"commutation and rearrangements","author":"cartier","year":"1969","journal-title":"Lectures Notes in Mathematics"},{"key":"ref2","first-page":"17","article-title":"Ten Years of Partial-Order Reduction","author":"peled","year":"1998","journal-title":"CAV"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"year":"1994","key":"ref1"}],"event":{"name":"2010 International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2010,7,7]]},"location":"Trento, Italy","end":{"date-parts":[[2010,7,9]]}},"container-title":["International Symposium on Industrial Embedded System (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5547587\/5551360\/05551396.pdf?arnumber=5551396","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T07:34:54Z","timestamp":1559460894000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5551396\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/sies.2010.5551396","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}