Symbolic Stubborn Set Search

M. Tiusanen

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Original languageEnglish
Title of host publicationConcurrency, Specification and Programming 1993, Puola. October 14-16,1993
Place of PublicationVarsaw
PublisherThe University of Varsaw
Pages219-229
Publication statusPublished - 1994
MoE publication typeA4 Article in a conference publication

Keywords

  • binary-decision diagrams
  • model checking
  • stubborn sets

Cite this