Open menu
Dirk Hauschildt
Elektronischer Transport in a-Si : H und a-Ge
Semilinearity of the reachability set is decidable for Petri nets