28/04/2016: Rob published a paper

Posted By on in Publications


28/04/2016: Robs paper entitled Parallel Algorithms for Testing Finite State Machines: Harmonised State Identifiers and Characterising Sets was published in IEEE Transactions on Computers