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

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, 2016-03, Vol.53 (2), p.171-206
2016
Volltextzugriff (PDF)

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

Acta informatica, 2021-08, Vol.58 (4), p.357-375
2021
Volltextzugriff (PDF)

Acta informatica, 2019-02, Vol.56 (1), p.1-33
2019
Volltextzugriff (PDF)

Open Access
Reactive synthesis without regret
Acta informatica, 2017-02, Vol.54 (1), p.3-39
2017
Volltextzugriff (PDF)

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

Acta informatica, 2020-10, Vol.57 (3-5), p.385-402
2020
Volltextzugriff (PDF)

Acta informatica, 2018-05, Vol.55 (3), p.227-267
2018
Volltextzugriff (PDF)

Acta informatica, 2020-10, Vol.57 (3-5), p.689-725
2020
Volltextzugriff (PDF)

Acta informatica, 2020-10, Vol.57 (3-5), p.465-512
2020
Volltextzugriff (PDF)

Step traces
Acta informatica, 2016-02, Vol.53 (1), p.35-65
2016
Volltextzugriff (PDF)

Acta informatica, 2016-08, Vol.53 (5), p.509-543
2016
Volltextzugriff (PDF)

Acta informatica, 2019-02, Vol.56 (1), p.61-92
2019
Volltextzugriff (PDF)

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


Acta informatica, 2018-02, Vol.55 (1), p.1-15
2018
Volltextzugriff (PDF)

Acta informatica, 2015-02, Vol.52 (1), p.35-60
2015
Volltextzugriff (PDF)

Acta informatica, 2017-05, Vol.54 (3), p.271-341
2017
Volltextzugriff (PDF)

Acta informatica, 2016-02, Vol.53 (1), p.67-85
2016
Volltextzugriff (PDF)
Aktive Filter
KollektionProject Euclid
KollektionRCN full-text journals@Ovid
ThemaExact Sciences And Technology
Zeitschrift / SerieActa Informatica