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.

Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL

Régis Gascon, Frédéric Mallet, Julien DeAntoni. Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. In Carlo Combi, Martin Leucker, Frank Wolter, editors, Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011. pages 141-148, IEEE, 2011. [doi]

Authors

Régis Gascon

This author has not been identified. Look up 'Régis Gascon' in Google

Frédéric Mallet

This author has not been identified. Look up 'Frédéric Mallet' in Google

Julien DeAntoni

This author has not been identified. Look up 'Julien DeAntoni' in Google
runs on