- Autor(en):
- Steinhorst, Sebastian; Hedrich, Lars
- Titel:
- Joint Property Specification for Transient Simulation and Formal Verification of Analog Circuits
- Kongress- / Buchtitel:
- Proceedings of the edaWorkshop'09
- Jahr:
- 2009
- Monat:
- 5
- Seiten:
- 13-18
- Print-ISBN:
- 978-3800731657
- BibTeX