Cited in
(8)- Modal transition systems with weight intervals
- A state/event-based model-checking approach for the analysis of abstract system properties
- An accessible verification environment for UML models of services
- HOL/SPIN
- AODV
- wRebeca
- Model checking mobile ad hoc networks
- Model checking fuzzy computation tree logic
This page was built for software: ACTLW
