Deriving Control and Data States of an Interactive Priority Queue Using History Compactifications

OriginalspracheEnglisch
Seiten210-217
Seitenumfang8
PublikationsstatusVeröffentlicht - 2003
VeranstaltungProceedings of the International Conference on Computer Sience, Software Engineering, Information Technology, e-Business, and Applications 2000 - Rio de Janeiro, Brasilien
Dauer: 05.06.200307.06.2003

Tagung, Konferenz, Kongress

Tagung, Konferenz, KongressProceedings of the International Conference on Computer Sience, Software Engineering, Information Technology, e-Business, and Applications 2000
Land/GebietBrasilien
OrtRio de Janeiro
Zeitraum05.06.0307.06.03

Zitieren