guest ::
Modular strategic SMT solving with SMT-RAT
;
In
Acta Universitatis Sapientiae / Informatica 10(1), Seiten/Artikel-Nr.:5-25
2018
Online
DOI: 10.18154/RWTH-2018-228037
DOI: 10.2478/ausi-2018-0001
URL: http://publications.rwth-aachen.de/record/735737/files/735737.pdf
URL: http://publications.rwth-aachen.de/record/735737/files/735737.pdf?subformat=pdfa
Einrichtungen
- Lehr- und Forschungsgebiet Theorie Hybrider Systeme (123420)
- Fachgruppe Informatik (120000)
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF 
PDF (PDFA)
Dokumenttyp
Journal Article
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
WOS Core Collection: WOS:000443328300001
Interne Identnummern
RWTH-2018-228037
Datensatz-ID: 735737
Beteiligte Länder
Germany
; 
; 
; DOAJ Seal
|
The record appears in these collections: |