Concepedia

Publication | Closed Access

Proving nonreachability by modulo-invariants

DOI

21

Citations

5

References

1996

Year

Jörg Desel, Klaus-Peter Neuendorf, Micaela-Daphne Radola
Theoretical Computer Science

References

YearCitations

Page 1