{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,16]],"date-time":"2024-01-16T18:20:47Z","timestamp":1705429247144},"reference-count":7,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer Mathematics"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1080\/00207169808804689","type":"journal-article","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T20:22:30Z","timestamp":1182802950000},"page":"197-219","source":"Crossref","is-referenced-by-count":16,"title":["A method for refining and testing generalised machine specifications"],"prefix":"10.1080","volume":"68","author":[{"given":"Florentin","family":"Ipate","sequence":"first","affiliation":[]},{"given":"Mike","family":"Holcombe","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2303-1_7"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1988.0009"},{"key":"CIT0004","doi-asserted-by":"crossref","unstructured":"Holcombe, M., Ipate, F. and Grondoudis, A. 1995.Proceedings of Second IFAC Workshop on Safety and Reliability in Emerging Control Technologies. Complete Functional Testing of Safety-Critical Systems. November1-31995, Daytona Beach, Florida, USA.","DOI":"10.1016\/S1474-6670(17)44845-2"},{"key":"CIT0005","volume-title":"Theory of X-machines and Applications in Specification and Testing, Ph.D.","author":"Ipate F.","year":"1995"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1080\/00207169708804559"},{"key":"CIT0007","volume-title":"The theory and practice of specification based testing, Ph.D.","author":"Laycock G. T.","year":"1991"}],"container-title":["International Journal of Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207169808804689","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T15:52:16Z","timestamp":1556553136000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207169808804689"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":7,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["10.1080\/00207169808804689"],"URL":"https:\/\/doi.org\/10.1080\/00207169808804689","relation":{},"ISSN":["0020-7160","1029-0265"],"issn-type":[{"value":"0020-7160","type":"print"},{"value":"1029-0265","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}