Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets

DOI10.1109/TC.2016.2532869zbMath1360.68891MaRDI QIDQ2985208

Uraz Cengiz Türker, Robert M. Hierons

Publication date: 16 May 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Mathematics Subject Classification ID

68W10: Parallel algorithms in computer science

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Hardness of Deriving Invertible Sequences from Finite State Machines