Proving non-termination by finite automata

Jörg Endrullis, Hans Zantema

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Fingerprint

Dive into the research topics of 'Proving non-termination by finite automata'. Together they form a unique fingerprint.

Computer Science