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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI