Reasoning about Concurrent Actions in the Trajectory Semantics

Detta är en avhandling från Linköping University

Författare: Choong-ho Yi; [1995]

Nyckelord: Natural Sciences Computer and Information Science Information Systems; Naturvetenskap Data- och informationsvetenskap Systemvetenskap; informationssystem och informatik; Information Systems; Informatik;

Sammanfattning:

Denna avhandling är EVENTUELLT nedladdningsbar som PDF. Kolla denna länk för att se om den går att ladda ner.