@article{yovine_approach_????,
	title = {An approach for the verification of the temporal consistency of {NCL} applications ∗},
	author = {Yovine, S and Olivero, A and Córdoba, L},
	pages = {1--6}
}

{"_id":"RXP66Jw7PPXsJhYvh","bibbaseid":"yovine-olivero-crdoba-anapproachfortheverificationofthetemporalconsistencyofnclapplications","downloads":0,"creationDate":"2016-10-05T13:48:44.252Z","title":"An approach for the verification of the temporal consistency of NCL applications ∗","author_short":["Yovine, S","Olivero, A","Córdoba, L"],"year":null,"bibtype":"article","biburl":"http://bibbase.org/zotero/alanlivio","bibdata":{"bibtype":"article","type":"article","title":"An approach for the verification of the temporal consistency of NCL applications ∗","author":[{"propositions":[],"lastnames":["Yovine"],"firstnames":["S"],"suffixes":[]},{"propositions":[],"lastnames":["Olivero"],"firstnames":["A"],"suffixes":[]},{"propositions":[],"lastnames":["Córdoba"],"firstnames":["L"],"suffixes":[]}],"pages":"1--6","bibtex":"@article{yovine_approach_????,\n\ttitle = {An approach for the verification of the temporal consistency of {NCL} applications ∗},\n\tauthor = {Yovine, S and Olivero, A and Córdoba, L},\n\tpages = {1--6}\n}\n\n","author_short":["Yovine, S","Olivero, A","Córdoba, L"],"key":"yovine_approach_????","id":"yovine_approach_????","bibbaseid":"yovine-olivero-crdoba-anapproachfortheverificationofthetemporalconsistencyofnclapplications","role":"author","urls":{},"downloads":0},"search_terms":["approach","verification","temporal","consistency","ncl","applications","yovine","olivero","córdoba"],"keywords":[],"authorIDs":[],"dataSources":["tudya6YojbqEiF783"]}