Publications of Benha University on Google Scholar: Denotational semantics of a synchronous VHDL subset |
| Title: | Denotational semantics of a synchronous VHDL subset |
| Authors: | D Borrione, A Salem |
| Year: | 1995 |
| Keywords: | Not Available |
| Journal/Conference: | Formal Methods in system design |
| Volume: | 7 |
| Issue: | Not Available |
| Pages: | 53-71 |
| Publisher: | Formal Methods in system design 7 (1-2), 53-71 |
| URL on Google: | https://scholar.google.com.eg/citations?view_op=view_citation&hl=en&citation_for_view=QCRKlN4AAAAJ:IjCSPb-OGe4C |
| Citations: | 17 |
| Paper Link: | Not Available |
| Full paper | Not Available |