Concepedia

Publication | Closed Access

Uppaal in a nutshell

DOI

2.1K

Citations

6

References

1997

Year

Kim G. Larsen, Paul Pettersson, Wang Yi
International Journal on Software Tools for Technology Transfer

References

YearCitations

Page 1