Concepedia

Publication | Open Access

Analyzing a χ model of a turntable system using Spin, CADP and Uppaal

DOIFull Paper Access

39

Citations

25

References

2005

Year

Elena M. Bortnik, Nikola Trčka, Anton Wijs, Bas Luttik, J.M. van de Mortel‐Fronczak, J. C. M. Baeten, Wan Fokkink, J.E. Rooda
The Journal of Logic and Algebraic Programming

References

YearCitations

Page 1