A stubborn attack on state explosion

Research output: Chapter in Book/Report/Conference proceeding › Chapter or book article › Scientific › peer-review

205 Citations (Scopus)

Original language	English
Title of host publication	Computer-Aided Verification '90
Editors	Robert P. Kurshan, Edmund E. Clarke
Publisher	AMS Press
Pages	25-41
ISBN (Electronic)	978-1-4704-3961-3
ISBN (Print)	978-0-8218-6594-1
Publication status	Published - 1991
MoE publication type	A3 Part of a book or another research book

Series	DIMACS Series in Discrete Mathematics and Theoretical Computer Science
Volume	3

Cite this

@inbook{5b534ab8c17f4890a35a10236b282c81,

title = "A stubborn attack on state explosion",

author = "Antti Valmari",

note = "Project code: TKO0018",

year = "1991",

language = "English",

isbn = "978-0-8218-6594-1",

series = "DIMACS Series in Discrete Mathematics and Theoretical Computer Science",

publisher = "AMS Press",

pages = "25--41",

editor = "Kurshan, \{Robert P.\} and Clarke, \{Edmund E.\}",

booktitle = "Computer-Aided Verification '90",

address = "United States",

}

TY - CHAP

T1 - A stubborn attack on state explosion

AU - Valmari, Antti

N1 - Project code: TKO0018

PY - 1991

Y1 - 1991

UR - https://doi.org/10.1090/dimacs/003

M3 - Chapter or book article

SN - 978-0-8218-6594-1

T3 - DIMACS Series in Discrete Mathematics and Theoretical Computer Science

SP - 25

EP - 41

BT - Computer-Aided Verification '90

A2 - Kurshan, Robert P.

A2 - Clarke, Edmund E.

PB - AMS Press

ER -