@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20140804-125108488,
    title = "SPIN 2014",
    chapter = "An Improvement of the Piggyback Algorithm for Parallel Model Checking",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140804-125108488",
    id = "record",
    isbn = "978-1-4503-2452-6",
    doi = "10.1145/2632362.2632375"
}