External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions

Dante Zanarini, Carlos Luna, Luis Sierra. Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions. In Rohit Gheyi, David A. Naumann, editors, Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Volume 7498 of Lecture Notes in Computer Science, pages 210-225, Springer, 2012. [doi]

Authors

Dante Zanarini

This author has not been identified. Look up 'Dante Zanarini' in Google

Carlos Luna

This author has not been identified. Look up 'Carlos Luna' in Google

Luis Sierra

This author has not been identified. Look up 'Luis Sierra' in Google
runs on