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.

Event-Based Time-Stamped Claim Logic

Jaime Ramos, João Rasga, Cristina Sernadas, Luca Viganò 0001. Event-Based Time-Stamped Claim Logic. J. Log. Algebr. Meth. Program., 121:100684, 2021. [doi]

Authors

Jaime Ramos

This author has not been identified. Look up 'Jaime Ramos' in Google

João Rasga

This author has not been identified. Look up 'João Rasga' in Google

Cristina Sernadas

This author has not been identified. Look up 'Cristina Sernadas' in Google

Luca Viganò 0001

This author has not been identified. Look up 'Luca Viganò 0001' in Google
runs on