Cited By
View all- Kapoor HJosephs MFurey D(2006)Verification and Implementation of Delay-Insensitive Processes in Restrictive EnvironmentsFundamenta Informaticae10.5555/2367636.236763970:1,2(21-48)Online publication date: 1-Apr-2006
- Kapoor HJosephs MFurey D(2005)Verification and implementation of delay-insensitive processes in restrictive environmentsFundamenta Informaticae10.5555/1151660.115166370:1(21-48)Online publication date: 1-Oct-2005
- Yevtushenko NVilla TBrayton RPetrenko ASangiovanni-Vincentelli AErnst R(2001)Solution of parallel language equations for logic synthesisProceedings of the 2001 IEEE/ACM international conference on Computer-aided design10.5555/603095.603116(103-110)Online publication date: 4-Nov-2001