Andreas van Arkel

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Dieter Zöbel, David Polock, Andreas van Arkel
Testing for the Conformance of Real-time Protocols Implemented by Operating Systems. Electron. Notes Theor. Comput. Sci. 133 (2005)