@Book{Aceto2007,
author = {Aceto, L}, 
title = {Reactive systems: modelling, specification and verification}, 
volume = {}, 
pages = {}, 
editor = {}, 
publisher = {}, 
address = {}, 
year = {2007}, 
abstract = {}, 
keywords = {}}

{"_id":"6MSypLMuuavaeuNSG","bibbaseid":"aceto-reactivesystemsmodellingspecificationandverification-2007","authorIDs":[],"author_short":["Aceto, L"],"bibdata":{"bibtype":"book","type":"book","author":[{"propositions":[],"lastnames":["Aceto"],"firstnames":["L"],"suffixes":[]}],"title":"Reactive systems: modelling, specification and verification","volume":"","pages":"","editor":[{"firstnames":[],"propositions":[],"lastnames":[""],"suffixes":[]}],"publisher":"","address":"","year":"2007","abstract":"","keywords":"","bibtex":"@Book{Aceto2007,\nauthor = {Aceto, L}, \ntitle = {Reactive systems: modelling, specification and verification}, \nvolume = {}, \npages = {}, \neditor = {}, \npublisher = {}, \naddress = {}, \nyear = {2007}, \nabstract = {}, \nkeywords = {}}\n\n","author_short":["Aceto, L"],"editor_short":[""],"key":"Aceto2007","id":"Aceto2007","bibbaseid":"aceto-reactivesystemsmodellingspecificationandverification-2007","role":"author","urls":{},"downloads":0},"bibtype":"book","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.573Z","downloads":0,"keywords":[],"search_terms":["reactive","systems","modelling","specification","verification","aceto"],"title":"Reactive systems: modelling, specification and verification","year":2007,"dataSources":["hEoKh4ygEAWbAZ5iy"]}