Keywords:
Publications of Stefan Edelkamp sorted by first author
E
Action Planning for Directed Model Checking of Petri Nets (2006), in: Electronic Notes in Theoretical Computer Science, 149:2(3--18) | and ,
Keywords:
Action Planning for Directed Model Checking of Petri Nets (2006), in: Electronic Notes in Theoretical Computer Science, 149:2(3--18) | and ,