Cite
MLA Citation
Gianfranco Lamperti. “Temporal determinization of mutating finite automata: Reconstructing or restructuring.” Software, practice & experience, vol. 50, 2020, pp. 335–367. http://access.bl.uk/ark:/81055/vdc_100102753505.0x00004f