I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Automatic decomposition for sequential equivalence checking..:

, In: Proceedings of the Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.,
Vasudevan, S. ; Abraham, J. A. ; Viswanath, V.. - p. 71-80 , 2006
Link: https://dl.acm.org/doi/10.1109/MEMCOD.2006.1695903