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