Export 1 results:
Sort by:
Filters: Author is J. L. R. Mike Hinchey  [Clear All Filters]
Hinchey, M. J. L. R., C. Rouff, and D. Gracanin, "An approach to verifying complex procedures", Proceedings of the Workshop on Controlling Complexity, 2005 IEEE Computational Systems Bioinfor- matics Conference, Stanford, CA, August, 2005.