Bisimulation, modal logic and model checking games.

Autor: Stirling, C1
Zdroj: Logic Journal of the IGPL. 1999, Vol. 7 Issue 1, p103-124. 22p.
Databáze: Business Source Ultimate
Externí odkaz: