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

Frontiers in computer science (Lausanne), 2022-04, Vol.4
2022
Link zum Volltext


Science of computer programming, 2022-11, Vol.223, p.102864, Article 102864
2022
Link zum Volltext

Logic, Computation and Rigorous Methods, 2021, p.266-282
2021
Link zum Volltext


Concurrent abstract state machines
Acta informatica, 2016-08, Vol.53 (5), p.469-492
2016
Link zum Volltext



Frontiers in computer science (Lausanne), 2021-05, Vol.3
2021
Link zum Volltext


A logic for reflective ASMs
Science of computer programming, 2021-10, Vol.210, p.102691, Article 102691
2021
Link zum Volltext



Theoretical computer science, 2014-09, Vol.549, p.101-126
2014
Link zum Volltext


Model and Data Engineering, p.418-433
Link zum Volltext

Annals of mathematics and artificial intelligence, 2018-08, Vol.83 (3-4), p.321-349
2018
Link zum Volltext

International journal on software tools for technology transfer, 2017-04, Vol.19 (2), p.133-140
2017
Link zum Volltext


Rigorous State-Based Methods, p.238-244
Link zum Volltext

Science of computer programming, 2016-12, Vol.131, p.42-58
2016
Link zum Volltext

Science of computer programming, 2016-12, Vol.131, p.1-2
2016
Link zum Volltext


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