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.

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems

Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke. SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems. In Alessandro Abate, Georgios E. Fainekos, editors, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016. pages 145-154, ACM, 2016. [doi]

Authors

Kyungmin Bae

This author has not been identified. Look up 'Kyungmin Bae' in Google

Peter Csaba Ölveczky

This author has not been identified. It may be one of the following persons: Look up 'Peter Csaba Ölveczky' in Google

Soonho Kong

This author has not been identified. Look up 'Soonho Kong' in Google

Sicun Gao

This author has not been identified. Look up 'Sicun Gao' in Google

Edmund M. Clarke

This author has not been identified. Look up 'Edmund M. Clarke' in Google
runs on