Concepedia

Publication | Open Access

An Improvement in Formal Verification

DOIFull Paper Access

230

Citations

6

References

1995

Year

Gerard J. Holzmann, Doron Peled
IFIP advances in information and communication technology

References

YearCitations

Page 1