@inproceedings{DBLP:conf/icfem/PlosilaLI05,
author = {Juha Plosila and
Pasi Liljeberg and
Jouni Isoaho},
editor = {Kung{-}Kiu Lau and
Richard Banach},
title = {Modelling and Refinement of an On-Chip Communication Architecture},
booktitle = {Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3785},
pages = {219--234},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11576280\_16},
doi = {10.1007/11576280\_16},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/PlosilaLI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
