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.

Lattice-Valued Binary Decision Diagrams

Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-François Raskin. Lattice-Valued Binary Decision Diagrams. In Ahmed Bouajjani, Wei-Ngan Chin, editors, Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. Volume 6252 of Lecture Notes in Computer Science, pages 158-172, Springer, 2010. [doi]

Authors

Gilles Geeraerts

This author has not been identified. Look up 'Gilles Geeraerts' in Google

Gabriel Kalyon

This author has not been identified. Look up 'Gabriel Kalyon' in Google

Tristan Le Gall

This author has not been identified. Look up 'Tristan Le Gall' in Google

Nicolas Maquet

This author has not been identified. Look up 'Nicolas Maquet' in Google

Jean-François Raskin

This author has not been identified. Look up 'Jean-François Raskin' in Google
runs on