Publications of Benha University on Google Scholar: PREVAIL: A proof environment for VHDL descriptions |
| Title: | PREVAIL: A proof environment for VHDL descriptions |
| Authors: | D Borrione, L Pierre, A Salem |
| Year: | 1992 |
| Keywords: | Not Available |
| Journal/Conference: | Not Available |
| Volume: | Not Available |
| Issue: | Not Available |
| Pages: | Not Available |
| Publisher: | Correct-Hardware-Design-Methodologies.-Proceedings-of-the-Advanced-Research ... |
| URL on Google: | https://scholar.google.com.eg/citations?view_op=view_citation&hl=en&citation_for_view=QCRKlN4AAAAJ:2osOgNQ5qMEC |
| Citations: | 21 |
| Paper Link: | Not Available |
| Full paper | Not Available |