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.

Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems

Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek. Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. 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 192-208, 2016. [doi]

Authors

Nikola Benes

This author has not been identified. Look up 'Nikola Benes' in Google

Lubos Brim

This author has not been identified. Look up 'Lubos Brim' in Google

Martin Demko

This author has not been identified. Look up 'Martin Demko' in Google

Samuel Pastva

This author has not been identified. Look up 'Samuel Pastva' in Google

David Safránek

This author has not been identified. Look up 'David Safránek' in Google
runs on