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...
Software, practice & experience, 1986-10, Vol.16 (10), p.915-924
1986
Link zum Volltext

Lecture notes in computer science, 2002, p.31-45
2002
Link zum Volltext

ACM transactions on programming languages and systems, 1984-07, Vol.6 (3), p.333-344
1984
Link zum Volltext

Lecture notes in computer science, 1998, p.41-52
1998
Link zum Volltext

FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science, 2000, p.325-335
2000
Link zum Volltext

Viewpoint Non-Myths About Programming
Communications of the ACM, 2011-07, Vol.54 (7), p.35-37
2011
Link zum Volltext

The temporal logic of branching time
Acta informatica, 1983-09, Vol.20 (3), p.207-226
1983
Link zum Volltext