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 the structure and behavior in UML/OCL models using satisfiability solvers
IET cyber-physical systems, 2016-12, Vol.1 (1), p.49-59
2016
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Evaluation of crystal structures with partial occupancies using Boolean satisfiability techniques in STRUPLOX
Acta crystallographica. Section A, Foundations and advances, 2019-08, Vol.75 (a2), p.e710-e710
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Verification and evaluation of site occupancies using Boolean satisfiability techniques
Acta crystallographica. Section A, Foundations of crystallography, 2013-08, Vol.69 (a1), p.s291-s291
2013
Link zum Volltext
Verfügbarkeit prüfen
1 – 3 von 3
Suche als RSS-Feed
Aktive Filter
ThemaScience & Technology
KollektionWiley Online Library
Suchergebnisse filtern
Filter anzeigen