- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Devarajegowda, Keerthikumara; Kaja, Endri; Prebeck, Sebastian Siegfried; Ecker, Wolfgang
- Titel:
- ISA Modeling with Trace Notation for Context Free Property Generation
- Kongress- / Buchtitel:
- ACM/IEEE Design Automation Conference (DAC)
- Jahr:
- 2021
- Seiten:
- 619-624
- BibTeX