Search | About | Preferences | Feedback | Help | ||
Home > Interact > Link to us > Link to a search |
For a link like this:
“Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, July 31-August 3, 1996” by Alur, R.
Copy this URL:
https://www.bookfinder.com/search/?author=Alur%2C+R.&title=Computer+Aided+Verification%3A+8th+International+Conference%2C+CAV+%2796%2C+New+Brunswick%2C+NJ%2C+July+31-August+3%2C+1996&lang=en&st=xl&ac=qr
Copy this HTML: