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.

A Modal BI Logic for Dynamic Resource Properties

J. R. Courtault, Didier Galmiche. A Modal BI Logic for Dynamic Resource Properties. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Volume 7734 of Lecture Notes in Computer Science, pages 134-148, Springer, 2013. [doi]

Authors

J. R. Courtault

This author has not been identified. Look up 'J. R. Courtault' in Google

Didier Galmiche

This author has not been identified. Look up 'Didier Galmiche' in Google
runs on