Verification of networked Labs-on-Chip architectures.

Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille

Browse the full DATE paper archive.