Dynamic Slicing of Reaction Systems Based on Assertions and Monitors.

Linda Brodo, Roberto Bruni, Moreno Falaschi

Browse the full PADL paper archive.