Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Spyros Reveliotis
Deadlock Avoidance Policies for Automated Manufacturing Systems Using Finite State Automata
Formal Methods in Manufacturing
Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages