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