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.

AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek. AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. In Shuvendu K. Lahiri, Chao Wang 0001, editors, Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I. Volume 12224 of Lecture Notes in Computer Science, pages 569-581, Springer, 2020. [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

Jakub Kadlecaj

This author has not been identified. Look up 'Jakub Kadlecaj' 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