Margaria, T. ; Mendler, Michael ; Gsottberger, C.: Modelling and verification of unbounded length systolic arrays in monadic second-order logic
. In: University of Aalborg (Veranst.): Int'l. Workshop on Infinite State Systems (Infinity '98, Aalborg, DK, Juli 1998). München : TU München, 1998, S. 99-112.
|