↓ Skip to main content

Symbolic Model Checking

Overview of attention for book
Attention for Chapter 3: Symbolic Model Checking
Altmetric Badge

Citations

dimensions_citation
2039 Dimensions

Readers on

mendeley
25 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
Symbolic Model Checking
Chapter number 3
Book title
Symbolic Model Checking
Published by
Springer, Boston, MA, January 1993
DOI 10.1007/978-1-4615-3190-6_3
Book ISBNs
978-1-4613-6399-6, 978-1-4615-3190-6
Authors

Kenneth L. McMillan, McMillan, Kenneth L.

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Canada 1 4%
Unknown 24 96%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 11 44%
Student > Master 3 12%
Student > Doctoral Student 3 12%
Lecturer > Senior Lecturer 1 4%
Researcher 1 4%
Other 1 4%
Unknown 5 20%
Readers by discipline Count As %
Computer Science 18 72%
Psychology 1 4%
Unknown 6 24%