Symbolic Stubborn Set Search

M. Tiusanen

Symbolic Stubborn Set Search

M. Tiusanen

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	English
Title of host publication	Concurrency, Specification and Programming 1993, Puola. October 14-16,1993
Place of Publication	Varsaw
Publisher	The University of Varsaw
Pages	219-229
Publication status	Published - 1994
MoE publication type	A4 Article in a conference publication

Keywords

binary-decision diagrams
model checking
stubborn sets

Cite this

@inproceedings{51a5abfab3d744ab9464517d7b3140a8,

title = "Symbolic Stubborn Set Search",

keywords = "binary-decision diagrams, model checking, stubborn sets, binary-decision diagrams, model checking, stubborn sets, binary-decision diagrams, model checking, stubborn sets",

author = "M. Tiusanen",

year = "1994",

language = "English",

pages = "219--229",

booktitle = "Concurrency, Specification and Programming 1993, Puola. October 14-16,1993",

publisher = "The University of Varsaw",

}

TY - GEN

T1 - Symbolic Stubborn Set Search

AU - Tiusanen, M.

PY - 1994

Y1 - 1994

KW - binary-decision diagrams

KW - model checking

KW - stubborn sets

KW - binary-decision diagrams

KW - model checking

KW - stubborn sets

KW - binary-decision diagrams

KW - model checking

KW - stubborn sets

M3 - Conference contribution

SP - 219

EP - 229

BT - Concurrency, Specification and Programming 1993, Puola. October 14-16,1993

PB - The University of Varsaw

CY - Varsaw

ER -