Publikationsansicht

An Introduction to Program and Thread Algebra (2006)

Details der Publikation

Download	http://dare.uva.nl/record/221693
Herausgeber	Springer-Verlag
Mitarbeiter	Beckmann, A., Berger, U., Löwe, B., Tucker, J.V.
Archiv	Publications of the Universiteit van Amsterdam (Netherlands)
Typ	Article in monograph or in proceedings