Publikation
Rob Myers; Dirk Pattinson; Lutz Schröder
In: Luca de Alfaro (Hrsg.). Foundations of Software Science and Computation Structures. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS-09), 12th, located at Joint European Conferences on Theory and Practice of Software, ETAPS 2009, March 22-25, York, United Kingdom, Pages 137-151, Lecture Notes in Computer Science (LNCS), Vol. 5504, ISBN 0302-9743, Springer, 2009.