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...
Electronic Government, p.117-127
Link zum Volltext


Open Access
Refinement in hybridised institutions
Formal aspects of computing, 2015-03, Vol.27 (2), p.375-395
2015
Link zum Volltext

Computer languages, systems & structures, 2015-12, Vol.44, p.218-237
2015
Link zum Volltext

Electronic proceedings in theoretical computer science, 2016-06, Vol.209 (Proc. Refine 2015), p.40-56
2016
Link zum Volltext

Theoretical computer science, 2018-10, Vol.744, p.113-142, Article 113
2018
Link zum Volltext

Theoretical computer science, 2018-10, Vol.744, p.78-96
2018
Link zum Volltext

Open Access
Paraconsistent Transition Systems
Electronic proceedings in theoretical computer science, 2023, Vol.376, p.3-15
2023
Link zum Volltext

Logical methods in computer science, 2014-01, Vol.10, Issue 1
2014
Link zum Volltext

Theoretical computer science, 2006-11, Vol.365 (1), p.2-22
2006
Link zum Volltext

Science of computer programming, 2016-12, Vol.132, p.50-76
2016
Link zum Volltext

Science of computer programming, 2015-10, Vol.110, p.78-103
2015
Link zum Volltext

IET quantum communication, 2023-09, Vol.4 (3), p.103-111
2023
Link zum Volltext

Scientific annals of computer science, 2019-01, Vol.19 (2), p.141-184
2019
Link zum Volltext

Lecture notes in computer science, 2005, p.469-484
1ère éd, 2005
Link zum Volltext

Formal Methods: Foundations and Applications, p.161-178
Link zum Volltext

Journal of logic, language, and information, 2014, Vol.23 (1), p.31-52
2014
Link zum Volltext

Theoretical computer science, 2006-02, Vol.351 (2), p.276-294
2006
Link zum Volltext

Formal Methods: Foundations and Applications, p.271-286
Link zum Volltext


Formal Methods: Foundations and Applications, 2015, Vol.8941, p.146-161
2015
Link zum Volltext


On the Move to Meaningful Internet Systems: OTM 2011 Workshops, p.83-92
Link zum Volltext


Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n