Home » Uncategorized » 28/04/2016: Rob published a paper

28/04/2016: Rob published a paper

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