Symbolic Stubborn Set Search

M. Tiusanen

Symbolic Stubborn Set Search

M. Tiusanen

Tietotekniikan laitos

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

Alkuperäiskieli	Englanti
Otsikko	Concurrency, Specification and Programming 1993, Puola. October 14-16,1993
Julkaisupaikka	Varsaw
Kustantaja	The University of Varsaw
Sivut	219-229
Tila	Julkaistu - 1994
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa

Tutkimusalat

binary-decision diagrams
model checking
stubborn sets

SFX-saatavuus

Koko teksti

Siteeraa tätä

@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 -