The following pages link to A logic of behaviour in context (Q2453209):
Displaying 9 items.
- Model checking temporal properties of reaction systems (Q1749193) (← links)
- Modelling patterns of gene regulation in the bond-calculus (Q2229141) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- (Q3026811) (← links)
- Variety of Behaviours Through Profiles in Logic-Based Agents (Q3623972) (← links)
- (Q4036558) (← links)
- (Q5019683) (← links)
- (Q5067990) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900829) (← links)