| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Real Equation Systems with Alternating Fixed-Points | Groote, Jan Friso et al. | 2023 |
| 2 | The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing | van Spaendonck, P. H. M. et al. | 2023 |
| 3 | Evidence for Fixpoint Logic | Cranen, Sjoerd et al. | 2015 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 3 |