{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T20:45:14Z","timestamp":1648586714103},"reference-count":0,"publisher":"Instituto Politecnico Nacional\/Centro de Investigacion en Computacion","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["CyS"],"DOI":"10.13053\/cys-25-2-3936","type":"journal-article","created":{"date-parts":[[2021,6,15]],"date-time":"2021-06-15T17:57:49Z","timestamp":1623779869000},"source":"Crossref","is-referenced-by-count":0,"title":["Modeling and Verication Analysis of Ecological Systems via a First Order Logic Approach"],"prefix":"10.13053","volume":"25","author":[{"given":"Zvi","family":"Retchkiman Konigsberg","sequence":"first","affiliation":[]}],"member":"5402","published-online":{"date-parts":[[2021,5,3]]},"container-title":["Computaci\u00f3n y Sistemas"],"original-title":[],"deposited":{"date-parts":[[2021,6,15]],"date-time":"2021-06-15T17:57:56Z","timestamp":1623779876000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cys.cic.ipn.mx\/ojs\/index.php\/CyS\/article\/view\/3936"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,3]]},"references-count":0,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2021,5,3]]}},"URL":"https:\/\/doi.org\/10.13053\/cys-25-2-3936","relation":{},"ISSN":["2007-9737","1405-5546"],"issn-type":[{"value":"2007-9737","type":"electronic"},{"value":"1405-5546","type":"print"}],"subject":[],"published":{"date-parts":[[2021,5,3]]}}}