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.

Towards Symbolic Causality Checking using SAT-Solving

Adrian Beer, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue. Towards Symbolic Causality Checking using SAT-Solving. In Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz, editors, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme X, Schloss Dagstuhl, Germany, March 5-7, 2014, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. pages 11-20, fortiss GmbH, München, 2014.

Authors

Adrian Beer

This author has not been identified. Look up 'Adrian Beer' in Google

Uwe Kühne

This author has not been identified. Look up 'Uwe Kühne' in Google

Florian Leitner-Fischer

This author has not been identified. Look up 'Florian Leitner-Fischer' in Google

Stefan Leue

This author has not been identified. Look up 'Stefan Leue' in Google
runs on