"Formal Modelling and Validation of a Novel Energy Efficient Cross-Layer ..."

Kechar Bouabdellah, Larbi Sekhri (2008)

Details and statistics

DOI: 10.1109/NTMS.2008.ECP.47

access: closed

type: Conference or Workshop Paper

metadata version: 2017-05-24

a service of  Schloss Dagstuhl - Leibniz Center for Informatics