Concepedia

Publication | Open Access

Model Checking UML State Machines and Collaborations

DOIFull Paper Access

202

Citations

4

References

2001

Year

Timm Schäfer, Alexander Knapp, Stephan Merz
Electronic Notes in Theoretical Computer Science

References

YearCitations

Page 1