Determining Minimum Interconnect for Reconfigurable Hardware by Analysis and Verification of Pi-Calculus Design Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

André Seffrin, Sorin A. Huss. Determining Minimum Interconnect for Reconfigurable Hardware by Analysis and Verification of Pi-Calculus Design Specifications. In Frank Oppenheimer, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011. pages 193-202, OFFIS-Institut für Informatik, 2011.

This author has not been identified. Look up 'André Seffrin' in GoogleThis author has not been identified. Look up 'Sorin A. Huss' in Google

runs on WebDSL