Symbolic Stubborn Set Search

M. Tiusanen

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

AlkuperäiskieliEnglanti
OtsikkoConcurrency, Specification and Programming 1993, Puola. October 14-16,1993
JulkaisupaikkaVarsaw
KustantajaThe University of Varsaw
Sivut219-229
TilaJulkaistu - 1994
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

Tutkimusalat

  • binary-decision diagrams
  • model checking
  • stubborn sets

Siteeraa tätä