{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:53:34Z","timestamp":1750308814237,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,4,27]],"date-time":"2010-04-27T00:00:00Z","timestamp":1272326400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,4,27]]},"DOI":"10.1145\/1772630.1772634","type":"proceedings-article","created":{"date-parts":[[2010,5,4]],"date-time":"2010-05-04T21:18:15Z","timestamp":1273007895000},"page":"7-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A hierarchical method for the reduction of temporal expressions in Pandora"],"prefix":"10.1145","author":[{"given":"Martin","family":"Walker","sequence":"first","affiliation":[{"name":"University of Hull, Hull, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yiannis","family":"Papadopoulos","sequence":"additional","affiliation":[{"name":"University of Hull, Hull, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,4,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Vesely W. E. Goldberg F. F. Roberts N. H. Haasl D. F. 1981. Fault Tree Handbook. US Nuclear Regulatory Commission Washington D.C. USA.  Vesely W. E. Goldberg F. F. Roberts N. H. Haasl D. F. 1981. Fault Tree Handbook. US Nuclear Regulatory Commission Washington D.C. USA."},{"key":"e_1_3_2_1_2_1","unstructured":"Vesely W. E. Stamatelatos M. Dugan J. B. Fragola J. Minarick J. Railsback J. 2002. Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance USA.  Vesely W. E. Stamatelatos M. Dugan J. B. Fragola J. Minarick J. Railsback J. 2002. Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance USA."},{"key":"e_1_3_2_1_3_1","unstructured":"Walker M. 2009. Pandora -- A Logic for the Qualitative Analysis of Temporal Fault Trees. PhD Thesis University of Hull UK.  Walker M. 2009. Pandora -- A Logic for the Qualitative Analysis of Temporal Fault Trees. PhD Thesis University of Hull UK."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(00)00076-4"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/795672.796973"},{"key":"e_1_3_2_1_6_1","first-page":"105","article-title":"Compositional Temporal Fault Tree Analysis. In Computer Safety, Reliability, and Security -- SAFECOMP'07, Saglietti, Oster, Norbert (eds)","volume":"4680","author":"Walker M.","year":"2007","journal-title":"Lecture Notes in Computer Science"},{"key":"e_1_3_2_1_7_1","unstructured":"On-line Encyclopedia of Integer Sequences. A000670: Number of preferential arrangements of n labeled elements; or number of weak orders on n labeled elements. {Online} http:\/\/www.research.att.com\/~njas\/sequences\/A000670 {Accessed April 2007}  On-line Encyclopedia of Integer Sequences. A000670: Number of preferential arrangements of n labeled elements; or number of weak orders on n labeled elements. {Online} http:\/\/www.research.att.com\/~njas\/sequences\/A000670 {Accessed April 2007}"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/24.537011"}],"event":{"name":"EDCC '10: European Dependable Computing Conference","sponsor":["Universidad Polit\u00e9cnica de Valencia, Spain","Parametric Technology Corporation (PTC)","Ministerio de Ciencia e Innovaci\u00f3n, Spain","Generalitat Valenciana, Spain","IEEE Computer Society TC on Dependable Computing and Fault Tolerance","IFIP Working Group 10.4 Dependable Computing and Fault Tolerance","EWICS TC7 on Safety, Reliability and Security"],"location":"Valencia Spain","acronym":"EDCC '10"},"container-title":["Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1772630.1772634","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1772630.1772634","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:26:27Z","timestamp":1750278387000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1772630.1772634"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,27]]},"references-count":8,"alternative-id":["10.1145\/1772630.1772634","10.1145\/1772630"],"URL":"https:\/\/doi.org\/10.1145\/1772630.1772634","relation":{},"subject":[],"published":{"date-parts":[[2010,4,27]]},"assertion":[{"value":"2010-04-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}