Gerhard Schellhorn, Richard Banach
Published in: Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. Editors: Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca