Computer Aided Verification - 2010

Model-Checking Parameterized Concurrent Programs Using Linear Interfaces

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.


You will now receive reports at unknown email address

Share this page with others

You can share this item across the most popular social networks.

Click on the button below to purchase Model-Checking Parameterized Concurrent Programs Using Linear Interfaces

When you click on the button above, you will be redirected to where you can finish shopping.

Computer Aided Verification

Crossref Citations Summary

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 %
Spain 1 7%
Germany 1 7%
Italy 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%
Student > Doctoral Student 3 20%
Researcher 3 20%
Professor 2 13%
Student > Master 1 7%

SpringerLink Download summary

This chapter has been downloaded a total of 785 times.