Behavioural equivalences on finite-state systems are PTIME-hard

Bibliographic Details
Main Authors:	Sawa, Zdeněk (Author), Jančař, Petr (Author)
Format:	Article
Language:	Slovak English
Subjects:	zložité systémy automatická verifikácia výpočtová komplexita

Similar Items