DMCA

Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software

by Hongwei Liao , Stéphane Lafortune , Spyros Reveliotis , Yin Wang , Scott Mahlke
Citations:5 - 3 self