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.

Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation

Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu. Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation. In Cyrille Artho, Axel Legay, Doron Peled, editors, Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Volume 9938 of Lecture Notes in Computer Science, pages 122-129, 2016. [doi]

Authors

Alexandre Duret-Lutz

This author has not been identified. Look up 'Alexandre Duret-Lutz' in Google

Alexandre Lewkowicz

This author has not been identified. Look up 'Alexandre Lewkowicz' in Google

Amaury Fauchille

This author has not been identified. Look up 'Amaury Fauchille' in Google

Thibaud Michaud

This author has not been identified. Look up 'Thibaud Michaud' in Google

Etienne Renault

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

Laurent Xu

This author has not been identified. Look up 'Laurent Xu' in Google
runs on