Pages that link to "Item:Q5464484"
From MaRDI portal
The following pages link to Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464484):
Displaying 4 items.
- ASM-based formal design of an adaptivity component for a cloud system (Q315283) (← links)
- Hardness and inapproximability of minimizing adaptive distinguishing sequences (Q479811) (← links)
- Lower bounds on lengths of checking sequences (Q613138) (← links)
- The relation between preset distinguishing sequences and synchronizing sequences (Q736851) (← links)
