%0 Thesis %1 phd/us/Bronstein89 %A Bronstein, Alexandre %D 1989 %K dblp %T MLP: string-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuits.

@phdthesis{phd/us/Bronstein89, added-at = {2022-08-23T00:00:00.000+0200}, author = {Bronstein, Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/26d1a65ab27655539e1d47640d168bb06/dblp}, ee = {https://searchworks.stanford.edu/view/1357793}, interhash = {0df0aaa28af14f838fa2bfaea0fccd2d}, intrahash = {6d1a65ab27655539e1d47640d168bb06}, keywords = {dblp}, school = {Stanford University, USA}, timestamp = {2024-04-09T08:03:39.000+0200}, title = {MLP: string-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuits.}, year = 1989 }