Stefan Edelkamp
First name(s): Stefan
Last name(s): Edelkamp

Publications of Stefan Edelkamp sorted by journal and type

Electronic Notes in Theoretical Computer Science

Stefan Edelkamp and Shahid Jabbar, Action Planning for Directed Model Checking of Petri Nets (2006), in: Electronic Notes in Theoretical Computer Science, 149:2(3--18)