Symbolic Stubborn Set Search

M. Tiusanen

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

AlkuperäiskieliEnglanti
OtsikkoConcurrency, Specification and Programming 1993, Puola. October 14-16,1993
JulkaisupaikkaVarsaw
KustantajaUniwersytet Warszwski
Sivut219-229
TilaJulkaistu - 1994
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa

Tutkimusalat

  • binary-decision diagrams
  • model checking
  • stubborn sets

Siteeraa tätä