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...
Electronic proceedings in theoretical computer science, 2010-06, Vol.28 (Proc. QAPL 2010), p.82-98
2010
Volltextzugriff (PDF)

Open Access
Types for BioAmbients
Electronic proceedings in theoretical computer science, 2010-02, Vol.19 (Proc. FBTC 2010), p.103-115
2010
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2012-11, Vol.100 (Proc. MeCBIC 2012), p.101-106
2012
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2012-07, Vol.88 (Proc. DCM 2011), p.43-58
2012
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2009-11, Vol.9 (Proc. DCM 2009), p.38-48
2009
Volltextzugriff (PDF)

Theoretical computer science, 2015-07, Vol.587, p.1-2
2015
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2011-09, Vol.67 (Proc. CompMod 2011), p.3-18
2011
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2010-10, Vol.40 (Proc. MeCBIC 2010), p.102-120
2010
Volltextzugriff (PDF)

Open Access
A Type System for a Stochastic CLS
Electronic proceedings in theoretical computer science, 2009-11, Vol.11 (Proc. MeCBIC 2009), p.91-105
2009
Volltextzugriff (PDF)

Formal aspects of computing, 2007-03, Vol.19 (1), p.93-109
2007
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2009-10, Vol.6 (Proc. COMPMOD 2009), p.77-92
2009
Volltextzugriff (PDF)

2017
Volltextzugriff (PDF)

Theoretical computer science, 2010-11, Vol.411 (50), p.4291-4322
2010
Volltextzugriff (PDF)

IEEE transactions on software engineering, 2010-09, Vol.36 (5), p.719-734
2010
Volltextzugriff (PDF)

Theoretical computer science, 2012-05, Vol.431, p.165-180
2012
Volltextzugriff (PDF)


Formal Modeling and Analysis of Timed Systems, p.213-227
Volltextzugriff (PDF)


Acta informatica, 2010-09, Vol.47 (5-6), p.279-311
2010
Volltextzugriff (PDF)


Science of computer programming, 2008-10, Vol.73 (2), p.76-94
2008
Volltextzugriff (PDF)

Formal aspects of computing, 2008-07, Vol.20 (4-5), p.351-377
2008
Volltextzugriff (PDF)


Open Access
Stochastic Bigraphs
Electronic notes in theoretical computer science, 2008-10, Vol.218, p.73-96
2008
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n