Gérard Berry. Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs. In Ed Brinksma, editor, Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS 97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Volume 1217 of Lecture Notes in Computer Science, pages 1-3, Springer, 1997.
@inproceedings{Berry97:0,
title = {Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs},
author = {Gérard Berry},
year = {1997},
tags = {optimization, program verification, program optimization},
researchr = {https://researchr.org/publication/Berry97%3A0},
cites = {0},
citedby = {0},
pages = {1-3},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS 97, Enschede, The Netherlands, April 2-4, 1997, Proceedings},
editor = {Ed Brinksma},
volume = {1217},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-62790-1},
}