%0 Journal Article %1 journals/fac/SchmaltzB08 %A Schmaltz, Julien %A Borrione, Dominique %D 2008 %J Formal Asp. Comput. %K dblp %N 3 %P 241-258 %T A functional formalization of on chip communications. %U http://dblp.uni-trier.de/db/journals/fac/fac20.html#SchmaltzB08 %V 20

@article{journals/fac/SchmaltzB08, added-at = {2008-05-28T00:00:00.000+0200}, author = {Schmaltz, Julien and Borrione, Dominique}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/253fd3d32a29b5553b6cc4cf13490f758/dblp}, ee = {http://dx.doi.org/10.1007/s00165-007-0049-0}, interhash = {b60dc11f1b8391c3441ff88191618581}, intrahash = {53fd3d32a29b5553b6cc4cf13490f758}, journal = {Formal Asp. Comput.}, keywords = {dblp}, number = 3, pages = {241-258}, timestamp = {2016-02-02T10:13:57.000+0100}, title = {A functional formalization of on chip communications.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac20.html#SchmaltzB08}, volume = 20, year = 2008 }