David Robinson, Patrick Lysaght. Verification of Dynamically Reconfigurable Logic. In Reiner W. Hartenstein, Herbert Grünbacher, editors, Field-Programmable Logic and Applications, The Roadmap to Reconfigurable Computing, 10th International Workshop, FPL 2000, Villach, Austria, August 27-30, 2000, Proceedings. Volume 1896 of Lecture Notes in Computer Science, pages 141-150, Springer, 2000. [doi]
@inproceedings{RobinsonL00:0, title = {Verification of Dynamically Reconfigurable Logic}, author = {David Robinson and Patrick Lysaght}, year = {2000}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1896&spage=0141}, tags = {logic}, researchr = {https://researchr.org/publication/RobinsonL00%3A0}, cites = {0}, citedby = {0}, pages = {141-150}, booktitle = {Field-Programmable Logic and Applications, The Roadmap to Reconfigurable Computing, 10th International Workshop, FPL 2000, Villach, Austria, August 27-30, 2000, Proceedings}, editor = {Reiner W. Hartenstein and Herbert Grünbacher}, volume = {1896}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-67899-9}, }