Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

SWITSS: Computing small witnessing subsystems

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen

Beitragende

Simon Jantsch - , Professur für Algebraische und logische Grundlagen der Informatik (Autor:in)
Hans Harder - , Professur für Algebraische und logische Grundlagen der Informatik (Autor:in)
Florian Funke - , Professur für Algebraische und logische Grundlagen der Informatik (Autor:in)
Christel Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Autor:in)

Details

Originalsprache	Undefiniert
Titel	Proceedings of the Conference on Formal Methods in Computer-Aided Design (FMCAD)
Publikationsstatus	Veröffentlicht - 1 Sept. 2020
Peer-Review-Status	Nein

Externe IDs

Scopus	85099178494
ORCID	/0000-0002-5321-9343/work/142236783

Schlagworte