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