Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo
Not Logged in. Login

Testing against non-deterministic stream X-machines

Hierons, Robert Mark and Harman, Mark (2000) Testing against non-deterministic stream X-machines. Formal Aspects of Computing, 12 . pp. 423-442.

Full text not available from this repository.


Item Type:Article
Subjects:UNSPECIFIED
ID Code:356
Deposited By:Prof Mark Harman
Deposited On:06 Nov 2007 16:07
Last Modified:06 Nov 2007 16:07

Repository Staff Only: item control page
Accessibility  |   Terms and Conditions  |   Last Modified 01 November 2007
© 2007 DCS, King's College London, Strand, London WC2R 2LS, England, United Kingdom. Tel +44 (0)20 7836 5454