MSTA
From MaRDI portal
Software:21756
swMATH9777MaRDI QIDQ21756FDOQ21756
Author name not available (Why is that?)
Cited In (7)
- Title not available (Why is that?)
- EXPTIME-completeness of thorough refinement on modal transition systems
- On-the-fly informed search of non-blocking directed controllers
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
- Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
- FSP and FLTL framework for specification and verification of middle-agents
- Modal transition system encoding of featured transition systems
This page was built for software: MSTA
