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, 2014-02, Vol.51 (1), p.1-24
2014
Volltextzugriff (PDF)

Acta informatica, 2012-08, Vol.49 (5), p.343-359
2012
Volltextzugriff (PDF)

Acta informatica, 2014-08, Vol.51 (5), p.297-325
2014
Volltextzugriff (PDF)

Acta informatica, 2013-05, Vol.50 (3), p.157-173
2013
Volltextzugriff (PDF)

Testing for refinement in Circus
Acta informatica, 2011-04, Vol.48 (2), p.97-147
2011
Volltextzugriff (PDF)

Acta informatica, 2011-08, Vol.48 (5-6), p.291-315
2011
Volltextzugriff (PDF)

Acta informatica, 2009-12, Vol.46 (8), p.561-590
2009
Volltextzugriff (PDF)