![](/img/cover-not-exists.png)
[IEEE 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Kanpur, India (2016.11.18-2016.11.20)] 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Verifying the concentration property of permutation networks by BDDs
Jain, Tripti, Schneider, KlausYear:
2016
Language:
english
DOI:
10.1109/MEMCOD.2016.7797744
File:
PDF, 1.67 MB
english, 2016