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.

Looking at Mean-Payoff and Total-Payoff through Windows

Krishnendu Chatterjee, Laurent Doyen 0001, Mickael Randour, Jean-François Raskin. Looking at Mean-Payoff and Total-Payoff through Windows. In Dang Van Hung, Mizuhito Ogawa, editors, Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. Volume 8172 of Lecture Notes in Computer Science, pages 118-132, Springer, 2013. [doi]

Authors

Krishnendu Chatterjee

This author has not been identified. Look up 'Krishnendu Chatterjee' in Google

Laurent Doyen 0001

This author has not been identified. Look up 'Laurent Doyen 0001' in Google

Mickael Randour

This author has not been identified. Look up 'Mickael Randour' in Google

Jean-François Raskin

This author has not been identified. Look up 'Jean-François Raskin' in Google
runs on