↓ Skip to main content

Verification, Model Checking, and Abstract Interpretation

Overview of attention for book
Verification, Model Checking, and Abstract Interpretation
Springer International Publishing
Attention for Chapter: Formal Semantics and Verification of Network-Based Biocomputation Circuits
Altmetric Badge

Mentioned by

twitter
1 tweeter

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Formal Semantics and Verification of Network-Based Biocomputation Circuits
Book title
Verification, Model Checking, and Abstract Interpretation
Published by
Springer, Cham, January 2021
DOI 10.1007/978-3-030-67067-2_21
Book ISBNs
978-3-03-067066-5, 978-3-03-067067-2
Authors

Michelle Aluf-Medina, Till Korten, Avraham Raviv, Dan V. Nicolau Jr., Hillel Kugler, Aluf-Medina, Michelle, Korten, Till, Raviv, Avraham, Nicolau Jr., Dan V., Kugler, Hillel

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Unknown 1 100%
Readers by discipline Count As %
Unknown 1 100%