Amanote Research

Amanote Research

    RegisterSign 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
2014English

Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages

2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy