Pages that link to "Item:Q947791"

The following pages link to An automatic abstraction technique for verifying featured, parameterised systems (Q947791):

Displaying 2 items.

• Model checking learning agent systems using Promela with embedded C code and abstraction (Q333329) (← links)
• Temporal Verification of Fault-Tolerant Protocols (Q3623816) (← links)