Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | BibTeX cite key | |||||
---|---|---|---|---|---|---|---|
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
1999 | Modeling a Hardware Synthesis Methodology in Isabelle In: Formal Methods in Systems Design [15], 99-122 | BasinFriedrichVeritas | |||||
1996 | Modeling a hardware synthesis methodology in Isabelle In: Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96, 33-50 | BasinFriedrich96 | |||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
|