On Interleaving in Timed Automata. Ben Salah, R., Bozga, M., & Maler, O. In Proceedings of International Conference on Concurrency Theory (CONCUR), pages 465-476, 2006. ![On Interleaving in Timed Automata [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp3341693,
title = {On Interleaving in Timed Automata},
author = {Ramzi Ben Salah and Marius Bozga and Oded Maler},
author_short = {Ben Salah, R. and Bozga, M. and Maler, O.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2006},
key = {dblp3341693},
id = {dblp3341693},
biburl = {http://www.dblp.org/rec/bibtex/conf/concur/SalahBM06},
url = {http://dx.doi.org/10.1007/11817949_31},
conference = {CONCUR},
pages = {465-476},
text = {CONCUR 2006:465-476},
booktitle = {Proceedings of International Conference on Concurrency Theory (CONCUR)}
}
Downloads: 0
{"_id":"WM2EQG6xtJYdZpqew","bibbaseid":"bensalah-bozga-maler-oninterleavingintimedautomata-2006","downloads":0,"creationDate":"2015-07-05T11:05:40.144Z","title":"On Interleaving in Timed Automata","author_short":["Ben Salah, R.","Bozga, M.","Maler, O."],"year":2006,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/concur/SalahBM06","bibdata":{"title":"On Interleaving in Timed Automata","author":["Ramzi Ben Salah","Marius Bozga","Oded Maler"],"author_short":["Ben Salah, R.","Bozga, M.","Maler, O."],"bibtype":"inproceedings","type":"inproceedings","year":"2006","key":"dblp3341693","id":"dblp3341693","biburl":"http://www.dblp.org/rec/bibtex/conf/concur/SalahBM06","url":"http://dx.doi.org/10.1007/11817949_31","conference":"CONCUR","pages":"465-476","text":"CONCUR 2006:465-476","booktitle":"Proceedings of International Conference on Concurrency Theory (CONCUR)","bibtex":"@inproceedings{ dblp3341693,\n title = {On Interleaving in Timed Automata},\n author = {Ramzi Ben Salah and Marius Bozga and Oded Maler},\n author_short = {Ben Salah, R. and Bozga, M. and Maler, O.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2006},\n key = {dblp3341693},\n id = {dblp3341693},\n biburl = {http://www.dblp.org/rec/bibtex/conf/concur/SalahBM06},\n url = {http://dx.doi.org/10.1007/11817949_31},\n conference = {CONCUR},\n pages = {465-476},\n text = {CONCUR 2006:465-476},\n booktitle = {Proceedings of International Conference on Concurrency Theory (CONCUR)}\n}","bibbaseid":"bensalah-bozga-maler-oninterleavingintimedautomata-2006","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/11817949_31"},"downloads":0},"search_terms":["interleaving","timed","automata","ben salah","bozga","maler"],"keywords":[],"authorIDs":[],"dataSources":["6rqsFySWFw5sf2K7Z"]}