Concepedia

Publication | Open Access

Module Checking

DOIFull Paper Access

185

Citations

37

References

2001

Year

Orna Kupferman, Moshe Y. Vardi, Pierre Wolper
Information and Computation

References

YearCitations

Page 1