Pages that link to "Item:Q2197588"

The following pages link to Agnes Madalinski (Q2197588):

Displaying 4 items.

• Distributed computation of vector clocks in Petri net unfoldings for test selection (Q2197589) (← links)
• Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings (Q3400553) (← links)
• Diagnosis and Testing: How is Their Relation? Can They Be Combined? (Q5047041) (← links)
• (Q5506395) (← links)