2023 60th ACM/IEEE Design Automation Conference (DAC)

Book title Buchtitel

ISBN

979-8-3503-2348-1

Publisher Herausgeber

IEEE

Place of publishing Erscheinungsort

Piscataway

Results 1-1 of 1 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		He, Jie ; Nickovic, Dejan ; Bartocci, Ezio ; Grosu, Radu	TD-Magic: From Pictures of Timing Diagrams To Formal Specifications	Inproceedings Konferenzbeitrag	15-Sep-2023