Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
Verifying UML/OCL models using Boolean satisfiability
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), 2010, p.1341-1344
2010
Open Access
    Datensatz exportieren als...
  • BibTeX
Multiplier Architectures: Challenges and Opportunities with Plasmonic-based Logic : (Special Session Paper)
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2020, p.133-138
2020
Open Access
    Datensatz exportieren als...
  • BibTeX
MetaSMT: a unified interface to SMT-LIB2
Proceedings of the 2014 Forum on Specification and Design Languages (FDL), 2014, Vol.978-2-9530504-9-3, p.1-6
2014
1 – 3 von 3
Suche als RSS-Feed
Aktive Filter
ThemaScience & Technology
ThemaComputer Architecture
Suchergebnisse filtern
Filter anzeigen