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...


Theoretical computer science, 2004-01, Vol.311 (1), p.221-256
2004
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2018-08, Vol.276 (Proc. EXPRESS/SOS 2018), p.53-68
2018
Volltextzugriff (PDF)

Journal of logic and computation, 2024-07
2024
Volltextzugriff (PDF)

Neural networks, 2024-10, Vol.178, p.106411, Article 106411
2024
Volltextzugriff (PDF)

Quantitative Evaluation of Systems, p.359-380
Volltextzugriff (PDF)

Theoretical computer science, 2021-09, Vol.884, p.116-135
2021
Volltextzugriff (PDF)

Journal of network and computer applications, 2024-05, Vol.225, p.103858, Article 103858
2024
Volltextzugriff (PDF)

Acta informatica, 2022-06, Vol.59 (2-3), p.211-244
2022
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2012-08, Vol.92 (Proc. HSB 2012), p.58-72
2012
Volltextzugriff (PDF)

Information and computation, 2017-04, Vol.253, p.179-180
2017
Volltextzugriff (PDF)

IEEE/ACM transactions on computational biology and bioinformatics, 2024-01, Vol.21 (1), p.106-119
2024
Volltextzugriff (PDF)

Open Access
Unwinding biological systems
Theoretical computer science, 2015-07, Vol.587, p.26-48
2015
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2013-08, Vol.124 (Proc. HAS 2013), p.43-57
2013
Volltextzugriff (PDF)


Formal methods in system design, 2017-03, Vol.50 (1), p.1-38, Article 1
2017
Volltextzugriff (PDF)

Fundamenta informaticae, 2021-01, Vol.181 (1), p.1-35
2021
Volltextzugriff (PDF)


Information and computation, 2018-06, Vol.260, p.99-125
2018
Volltextzugriff (PDF)

Information and computation, 2022-11, Vol.289, p.104941, Article 104941
2022
Volltextzugriff (PDF)

Quantitative Evaluation of Systems, p.372-390
Volltextzugriff (PDF)

Proportional Lumpability
Formal Modeling and Analysis of Timed Systems, p.265-281
Volltextzugriff (PDF)


Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt