Bijan Alizadeh, Zainalabedin Navabi. Using Integer Equations to Check PSL Properties in RT Level Design. In Proceedings of the 4th IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC 04), 19-21 July 2004, Banff, Alberta, Canada. pages 83-86, IEEE Computer Society, 2004. [doi]
Abstract is missing.