Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Reveliotis, Spyros A."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Designing reversibility-enforcing supervisors of polynomial complexity for bounded Petri nets through the theory of regions
Spyros A. Reveliotis
,
Jin Young Choi
Lecture Notes in Computer Science
4024
, 2006, pp. 322-341
On the siphon-based characterization of liveness in sequential resource allocation systems
Spyros A. Reveliotis
Lecture Notes in Computer Science
2679
, 2003, pp. 241-255