TY  - RPRT
TI  - Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version)
AU  - Alessandro Trindade
AU  - Hussama Ismail
AU  - Lucas Cordeiro
PY  - 2015
UR  - https://arxiv.org/abs/1509.02492
ID  - 1509.02492
ER  -