Pages that link to "Item:Q3613068"

The following pages link to Decidable Extensions of Hennessy-Milner Logic (Q3613068):

Displaying 4 items.

• Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
• Undecidability of Model Checking in Brane Logic (Q2864500) (← links)
• A Complete Axiomatic System for a Process-Based Spatial Logic (Q3599152) (← links)
• Decidable Extensions of Hennessy-Milner Logic (Q3613068) (← links)