Unguardedness mostly means many solutions

Autor: Baeten, Jos C.M. a, b, ⁎, Luttik, Bas b, c
Zdroj: In Theoretical Computer Science 2011 412(28):3090-3100
Databáze: ScienceDirect