Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen