Login / Signup

Completeness of a combination of neighbourhood logic and temporal logic.

Rana Barua
Published in: Formal Aspects Comput. (2004)
Keyphrases