@inproceedings{colaco:2003,
	series = {Lecture notes in computer science},
	title = {Clocks as first class abstract types},
	volume = {2855},
	doi = {10.1007/978-3-540-45212-6_10},
	booktitle = {Third international conference on embedded software ({EMSOFT}'03)},
	publisher = {Springer},
	author = {Colaço, Jean-Louis and Pouzet, Marc},
	month = oct,
	year = {2003},
	pages = {134--155},
}

{"_id":"ojqqqp8wm5xNB7c2A","bibbaseid":"colao-pouzet-clocksasfirstclassabstracttypes-2003","author_short":["Colaço, J.","Pouzet, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","series":"Lecture notes in computer science","title":"Clocks as first class abstract types","volume":"2855","doi":"10.1007/978-3-540-45212-6_10","booktitle":"Third international conference on embedded software (EMSOFT'03)","publisher":"Springer","author":[{"propositions":[],"lastnames":["Colaço"],"firstnames":["Jean-Louis"],"suffixes":[]},{"propositions":[],"lastnames":["Pouzet"],"firstnames":["Marc"],"suffixes":[]}],"month":"October","year":"2003","pages":"134–155","bibtex":"@inproceedings{colaco:2003,\n\tseries = {Lecture notes in computer science},\n\ttitle = {Clocks as first class abstract types},\n\tvolume = {2855},\n\tdoi = {10.1007/978-3-540-45212-6_10},\n\tbooktitle = {Third international conference on embedded software ({EMSOFT}'03)},\n\tpublisher = {Springer},\n\tauthor = {Colaço, Jean-Louis and Pouzet, Marc},\n\tmonth = oct,\n\tyear = {2003},\n\tpages = {134--155},\n}\n\n","author_short":["Colaço, J.","Pouzet, M."],"key":"colaco:2003","id":"colaco:2003","bibbaseid":"colao-pouzet-clocksasfirstclassabstracttypes-2003","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/dietmarw","dataSources":["AjgvxtpMCcn3z8ZpY"],"keywords":[],"search_terms":["clocks","first","class","abstract","types","colaço","pouzet"],"title":"Clocks as first class abstract types","year":2003}