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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...






Fundamenta informaticae, 2009, Vol.95 (1), p.157-186
2009
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2021-01, Vol.33 (1), p.1-2
2021
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2021, Vol.33 (1), p.1-2
2021
Volltextzugriff (PDF)

Open Access
Editorial
Formal aspects of computing, 2021-01, Vol.33 (1), p.1-2
2021
Volltextzugriff (PDF)

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016, p.856-873
2016
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2023, Vol.387, p.42-58
2023
Volltextzugriff (PDF)

Formal aspects of computing, 2012-03, Vol.24 (2), p.187-216
2012
Volltextzugriff (PDF)



Science of computer programming, 2020-02, Vol.186, p.102341, Article 102341
2020
Volltextzugriff (PDF)



Journal of visual languages and computing, 2013-06, Vol.24 (3), p.153-168
2013
Volltextzugriff (PDF)

Extending Paradigm with Data
It's All About Coordination, 2018, Vol.10865, p.224-244
2018
Volltextzugriff (PDF)

ModelEd, TestEd, TrustEd, 2017, Vol.10500, p.48-63
2017
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2011-09, Vol.67
2011
Volltextzugriff (PDF)

Minimal Reaction Systems
Transactions on Computational Systems Biology XIV, 2012, p.102-122
2012
Volltextzugriff (PDF)

Model Checking of Biological Systems
Formal Methods for Dynamical Systems, 2013, Vol.7938, p.63-112
2013
Volltextzugriff (PDF)

Aktive Filter
Zeitschrift / SerieLogical Methods In Computer Science
ThemaComputer Science, Theory & Methods
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt