Gast ::
Transfer function synthesis without quantifier elimination
;
In
Logical methods in computer science : LMCS 8(3), Seiten/Artikel-Nr.:17
2012
Online
DOI: 10.2168/LMCS-8(3:17)2012
DOI: 10.18154/RWTH-CONV-079893
URL: https://publications.rwth-aachen.de/record/218122/files/218122.pdf
URL: https://publications.rwth-aachen.de/record/218122/files/218122.pdf?subformat=pdfa
Einrichtungen
- Fachgruppe Informatik (120000)
- Lehrstuhl für Informatik 11 (Software für eingebettete Systeme) (122810)
OpenAccess: 
PDF 
PDF (PDFA)
Dokumenttyp
Journal Article
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
WOS Core Collection: WOS:000309447200017
SCOPUS: SCOPUS:2-s2.0-85011650828
Interne Identnummern
RWTH-CONV-079893
Datensatz-ID: 218122
Beteiligte Länder
UK, Germany
; 
|
The record appears in these collections: |