Causality for debugging mobile agents Pierpaolo DeganoCorrado PriamiBent Thomsen Original articles Pages: 335 - 374
Reasoning with first order nondeterministic specifications Beata KonikowskaMarcin BiaĆasik Originalarbeiten Pages: 375 - 403
Finding the k most vital edges with respect to minimum spanning tree Hong Shen Originalarbeiten Pages: 405 - 424