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.
@inproceedings{SeffrinH11,
title = {Determining Minimum Interconnect for Reconfigurable Hardware by Analysis and Verification of Pi-Calculus Design Specifications},
author = {André Seffrin and Sorin A. Huss},
year = {2011},
researchr = {https://researchr.org/publication/SeffrinH11},
cites = {0},
citedby = {0},
pages = {193-202},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011},
editor = {Frank Oppenheimer},
publisher = {OFFIS-Institut für Informatik},
}