It looks like you're offline.
Open Library logo
additional options menu
Last edited by ImportBot
February 26, 2022 | History

John Penix

We need a photo of John Penix

1 work Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of John Penix

Lists

ID Numbers

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
February 26, 2022 Created by ImportBot import new book