Logo Get Report Subscribe
Share About this page
Bookmetrix tracks social and scholarly activity around published books

Get your print report emailed

Enter your email and we can send you a printable report on this item. ( View sample )

Print report emailed

We'll send you a print report shortly at Unknown

Receive our monthly book update for this book

We will send you an email each month containing links to all the book updates you subscribe to. This will keep informed of all the activity around your favourite books.

Print report emailed

You will now receive reports at unknown email address


All activity for Chapter:

Model-Checking Parameterized Concurrent Programs Using Linear Interfaces

Authors Salvatore La Torre P. Madhusudan Gennaro Parlato
DOI 10.1007/978-3-642-14295-6_54

Crossref Citations by year

No online mentions found

Mendeley readership by country

This chapter has 15 Mendeley readers. Click here to see more details on the Mendeley website.

Country %
Germany 1 7%
Italy 1 7%
Spain 1 7%
Unknown 12 80%

Mendeley readership by discipline

Discipline %
Computer Science 14 93%
Engineering 1 7%

Mendeley readership by professional status

Professional status %
Student > Ph. D. Student 6 40%
Researcher 3 20%
Student > Doctoral Student 3 20%
Professor 2 13%
Student > Master 1 7%
Other 0 0%

SpringerLink Download summary

This chapter has been downloaded a total of 626 times.