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.

Round-Bounded Control of Parameterized Systems

Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder. Round-Bounded Control of Parameterized Systems. In Shuvendu K. Lahiri, Chao Wang 0001, editors, Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Volume 11138 of Lecture Notes in Computer Science, pages 370-386, Springer, 2018. [doi]

Authors

Benedikt Bollig

This author has not been identified. Look up 'Benedikt Bollig' in Google

Mathieu Lehaut

This author has not been identified. Look up 'Mathieu Lehaut' in Google

Nathalie Sznajder

This author has not been identified. Look up 'Nathalie Sznajder' in Google
runs on