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.

LTL Under Reductions with Weaker Conditions Than Stutter Invariance

Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg. LTL Under Reductions with Weaker Conditions Than Stutter Invariance. In Mohammad Reza Mousavi 0001, Anna Philippou, editors, Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings. Volume 13273 of Lecture Notes in Computer Science, pages 170-187, Springer, 2022. [doi]

Authors

Emmanuel Paviot-Adet

This author has not been identified. Look up 'Emmanuel Paviot-Adet' in Google

Denis Poitrenaud

This author has not been identified. Look up 'Denis Poitrenaud' in Google

Etienne Renault

This author has not been identified. Look up 'Etienne Renault' in Google

Yann Thierry-Mieg

This author has not been identified. Look up 'Yann Thierry-Mieg' in Google
runs on