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

Acta informatica, 2008-02, Vol.45 (1), p.43-78
2008
Volltextzugriff (PDF)

Acta informatica, 2012-06, Vol.49 (4), p.225-248
2012
Volltextzugriff (PDF)

Acta informatica, 2014-03, Vol.51 (2), p.61-106
2014
Volltextzugriff (PDF)

Acta informatica, 2012-05, Vol.49 (3), p.139-172
2012
Volltextzugriff (PDF)

Stochastic game logic
Acta informatica, 2012-06, Vol.49 (4), p.203-224
2012
Volltextzugriff (PDF)

Acta informatica, 2014-11, Vol.51 (8), p.553-569
2014
Volltextzugriff (PDF)

Acta informatica, 2013-09, Vol.50 (5-6), p.297-329
2013
Volltextzugriff (PDF)

Acta informatica, 2007-12, Vol.44 (7-8), p.463-508
2007
Volltextzugriff (PDF)

Acta informatica, 2013-12, Vol.50 (7-8), p.359-380
2013
Volltextzugriff (PDF)

Acta informatica, 2013-06, Vol.50 (4), p.289-295
2013
Volltextzugriff (PDF)

Acta informatica, 2011-04, Vol.48 (2), p.67-96
2011
Volltextzugriff (PDF)

Open Access
On regular temporal logics with past
Acta informatica, 2010-06, Vol.47 (4), p.251-277
2010
Volltextzugriff (PDF)

Acta informatica, 2012-06, Vol.49 (4), p.249-279
2012
Volltextzugriff (PDF)

Acta informatica, 2009-02, Vol.46 (1), p.1-28
2009
Volltextzugriff (PDF)

Acta informatica, 2010-03, Vol.47 (2), p.111-132
2010
Volltextzugriff (PDF)

Acta informatica, 2008-05, Vol.45 (3), p.177-191
2008
Volltextzugriff (PDF)

Acta informatica, 2003-06, Vol.39 (6-7), p.451-468
2003
Volltextzugriff (PDF)

Words, univalent factors, and boxes
Acta informatica, 2002-04, Vol.38 (6), p.409-436
2002
Volltextzugriff (PDF)

Acta informatica, 2016-10, Vol.53 (6-8), p.587-619
2016
Volltextzugriff (PDF)

Acta informatica, 2017-03, Vol.54 (2), p.127-190
2017
Volltextzugriff (PDF)

Open Access
Verification of population protocols
Acta informatica, 2017-03, Vol.54 (2), p.191-215
2017
Volltextzugriff (PDF)

Acta informatica, 2024-09, Vol.61 (3), p.231-260
2024
Volltextzugriff (PDF)

Acta informatica, 2019-11, Vol.56 (7-8), p.553-583
2019
Volltextzugriff (PDF)

Acta informatica, 2021-06, Vol.58 (3), p.153-175
2021
Volltextzugriff (PDF)