A Stubborn Attack on State Explosion

A. Valmari

Research output: Contribution to journal › Article › Scientific › peer-review

156 Citations (Scopus)

Translated title of the contribution	A Stubborn Attack on State Explosion
Original language	English
Pages (from-to)	297-322
Journal	Formal Methods in System Design
Issue number	1
Publication status	Published - 1992
Publication type	A1 Journal article-refereed

Publication forum classification

@article{151971f1866f46c0a7e14c8ce000d157,

title = "A Stubborn Attack on State Explosion",

author = "A. Valmari",

note = "Contribution: organisation=ohj,FACT1=1",

year = "1992",

language = "English",

pages = "297--322",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer Netherlands",

number = "1",

}