@ARTICLE{BasinFriedrichVeritas,
AUTHOR = {Basin, David A. and Friedrich, Stefan},
TITLE = {Modeling a Hardware Synthesis Methodology in {I}sabelle},
JOURNAL = {Formal Methods in Systems Design},
YEAR = {1999},
NUMBER = {2},
VOLUME = {15},
PAGES = {99--122},
MONTH = {September},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Christine Kiesel | Created
03/30/2000 02:38:32 PM |
Revisions
3.
2.
1.
0.
| Editor(s)
Christine Kiesel
Christine Kiesel
Anja Becker
Christine Kiesel
| Edit Dates
14.05.2003 17:00:38
14.09.2001 03:36:30 PM
31.03.2000 13:50:00
30/03/2000 14:41:44
|