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.

Formalizing and Checking Multilevel Consistency

Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Gautham Shenoy R., S. P. Suresh. Formalizing and Checking Multilevel Consistency. In Dirk Beyer 0001, Damien Zufferey, editors, Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings. Volume 11990 of Lecture Notes in Computer Science, pages 379-400, Springer, 2020. [doi]

Authors

Ahmed Bouajjani

This author has not been identified. Look up 'Ahmed Bouajjani' in Google

Constantin Enea

This author has not been identified. Look up 'Constantin Enea' in Google

Madhavan Mukund

This author has not been identified. Look up 'Madhavan Mukund' in Google

Gautham Shenoy R.

This author has not been identified. Look up 'Gautham Shenoy R.' in Google

S. P. Suresh

This author has not been identified. Look up 'S. P. Suresh' in Google
runs on