Formal Specification of Delta MINs for MPSOC in the ACL2 Logic.

Maissa Elleuch, Yassine Aydi, Mohamed Abid

Browse the full FDL paper archive.