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.

Rabinizer: Small Deterministic Automata for LTL(F, G)

Andreas Gaiser, Jan Kretínský, Javier Esparza. Rabinizer: Small Deterministic Automata for LTL(F, G). In Supratik Chakraborty, Madhavan Mukund, editors, Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Volume 7561 of Lecture Notes in Computer Science, pages 72-76, Springer, 2012. [doi]

Authors

Andreas Gaiser

This author has not been identified. Look up 'Andreas Gaiser' in Google

Jan Kretínský

This author has not been identified. Look up 'Jan Kretínský' in Google

Javier Esparza

This author has not been identified. Look up 'Javier Esparza' in Google
runs on