The following pages link to Gigliola Vaglini (Q703587):
Displaying 14 items.
- Compositionality and locality for improving model checking in the selective mu-calculus (Q703588) (← links)
- Abstract reduction in directed model checking CCS processes (Q715051) (← links)
- Reduced models for efficient CCS verification (Q816205) (← links)
- (Q990120) (redirect page) (← links)
- Partial model checking via abstract interpretation (Q990121) (← links)
- A framework for data-flow distributed processing (Q1156480) (← links)
- Abstract interpretation of trace semantics for concurrent calculi (Q1606931) (← links)
- Model checking properties on reduced trace systems (Q1736621) (← links)
- A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
- Modifying LOTOS specifications by means of automatable formula-based integrations (Q1810856) (← links)
- A Petri nets semantics for data flow networks (Q1894678) (← links)
- Selective mu-calculus and formula-based equivalence of transition systems (Q1970206) (← links)
- Development of a debugger for a concurrent language (Q3713583) (← links)
- (Q4493883) (← links)
