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, }