RSMCheck reproduction package
Dataset: Code
Related content
- Research output
Lazy model checking for recursive state machines
Dubslaff, C., Wienhöft, P. & Fehnker, A., 20 Mar 2024, In: Software and systems modeling. 23, 2, p. 369-401 33 p.Research output: Contribution to journal › Research article › Contributed › peer-review