A stubborn attack on state explosion

Antti Valmari

Research output: Chapter in Book/Report/Conference proceedingChapter or book articleScientificpeer-review

204 Citations (Scopus)
Original languageEnglish
Title of host publicationComputer-Aided Verification '90
EditorsRobert P. Kurshan, Edmund E. Clarke
PublisherAMS Press
ISBN (Electronic)978-1-4704-3961-3
ISBN (Print)978-0-8218-6594-1
Publication statusPublished - 1991
MoE publication typeA3 Part of a book or another research book

Publication series

SeriesDIMACS Series in Discrete Mathematics and Theoretical Computer Science

Cite this