%0 Journal Article %1 journals/fmsd/BorrioneS95 %A Borrione, Dominique %A Salem, Ashraf M. %D 1995 %J Formal Methods Syst. Des. %K %N 1/2 %P 53-71 %T Denotational Semantics of a Synchronous VHDL Subset. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd7.html#BorrioneS95 %V 7

@article{journals/fmsd/BorrioneS95, added-at = {2023-12-13T00:21:46.000+0100}, author = {Borrione, Dominique and Salem, Ashraf M.}, biburl = {https://www.bibsonomy.org/bibtex/25b07e4e1a4caa7e9b43ba0f7421e0d66/admin}, ee = {https://doi.org/10.1007/BF01383873}, interhash = {624968c0ddb33267e1fc74a4612568e6}, intrahash = {5b07e4e1a4caa7e9b43ba0f7421e0d66}, journal = {Formal Methods Syst. Des.}, keywords = {}, number = {1/2}, pages = {53-71}, timestamp = {2023-12-13T00:21:46.000+0100}, title = {Denotational Semantics of a Synchronous VHDL Subset.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd7.html#BorrioneS95}, volume = 7, year = 1995 }