APA (7th ed.) Citation

Mook, N., De Kock, E., Arts, B., Chakraborty, S., & Van Deursen, A. (2025, March 31). Modeling and Analysis Technique for the Formal Verification of System-on-Chip Address Maps: Extended Abstract. Proceedings - Design, Automation, and Test in Europe Conference and Exhibition, 1-2. https://doi.org/10.23919/DATE64628.2025.10993069

Chicago Style (17th ed.) Citation

Mook, Niels, Erwin De Kock, Bas Arts, Soham Chakraborty, and Arie Van Deursen. "Modeling and Analysis Technique for the Formal Verification of System-on-Chip Address Maps: Extended Abstract." Proceedings - Design, Automation, and Test in Europe Conference and Exhibition 31 Mar. 2025: 1-2. https://doi.org/10.23919/DATE64628.2025.10993069.

MLA (9th ed.) Citation

Mook, Niels, et al. "Modeling and Analysis Technique for the Formal Verification of System-on-Chip Address Maps: Extended Abstract." Proceedings - Design, Automation, and Test in Europe Conference and Exhibition, 31 Mar. 2025, pp. 1-2, https://doi.org/10.23919/DATE64628.2025.10993069.