Research Field
- Nicht definiert
Trace diagnostics with temporal implicants
- Thomas Ferrère (Autor)
- Oded Maler (Autor)
- Nickovic, D. (Vortragender)
Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop