Andreas Braun, Oliver Bringmann, Djones Lettnin, Wolfgang Rosenstiel
Simulation-based verification of the MOST NetInterface specification revision 3.0
DATE, 2010.
@inproceedings{DATE-2010-BraunBLR,
author = "Andreas Braun and Oliver Bringmann and Djones Lettnin and Wolfgang Rosenstiel",
booktitle = "{Proceedings of the 14th Conference on Design, Automation and Test in Europe}",
pages = "538--543",
publisher = "{IEEE}",
title = "{Simulation-based verification of the MOST NetInterface specification revision 3.0}",
year = 2010,
}











