A Formalised Framework for Incremental Modelling of On−Chip Communication
Peter Böhm
Book Title
Participants' Proceedings of the Eighth International Workshop on Designing Correct Circuits (DCC'08)‚ a satellite event of the ETAPS 2010 conferences
Location
Paphos‚ Cyprus
Month
March
Note
to appear
Year
2010