Transfer function synthesis without quantifier elimination

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: 10.2168/LMCS-8(3:17)2012

Ereignis
Veröffentlichung
(wo)
Aachen
(wer)
Universitätsbibliothek der RWTH Aachen
(wann)
2012
Urheber
Brauer, Jörg
King, Andy

DOI
10.18154/RWTH-CONV-079893
URN
urn:nbn:de:101:1-2018111907154196444977
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:54 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Brauer, Jörg
  • King, Andy
  • Universitätsbibliothek der RWTH Aachen

Entstanden

  • 2012

Ähnliche Objekte (12)