RSMCheck reproduction package
Forschungsdaten: Software
Verknüpfte Inhalte
- Veröffentlichungen
Lazy model checking for recursive state machines
Dubslaff, C., Wienhöft, P. & Fehnker, A., 20 März 2024, in: Software and systems modeling. 23, 2, S. 369-401 33 S.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung