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.
Institution: Professur für Grundlagen der Informatik
|
|