Towards the Generation of Distributed Test Cases Using Petri Nets

Stefan Heymer, Jens Grabowski. Towards the Generation of Distributed Test Cases Using Petri Nets. In Katharina Spies, Bernhard Schätz, editors, Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999. pages 93-102, Herbert Utz Verlag, 1999.

Abstract

Abstract is missing.