What to Do Next?: Analysing and Optimising System Behaviour in Time

What to Do Next? Analysing and Optimising System Behaviour in Time

Research output: PhD Thesis › PhD-Thesis – Research external, graduation internal

773 Downloads (Pure)

Original language	English
Qualification	PhD
Awarding Institution	Vrije Universiteit Amsterdam
Supervisors/Advisors	Fokkink, Wan, Supervisor van de Pol, J.C., Supervisor, -
Award date	2 Oct 2007
Place of Publication	Vrije Universiteit
Print ISBNs	9789064641749
Publication status	Published - 2007

@phdthesis{4b2024abf24d48129a5c835a5304cf61,

title = "What to Do Next?: Analysing and Optimising System Behaviour in Time",

keywords = "Model Checking, scheduling, state space searching, timed branching bisimilarity, timed process algebra",

author = "A.J. Wijs",

year = "2007",

language = "English",

isbn = "9789064641749",

series = "IPA dissertation series",

number = "13",

type = "PhD-Thesis – Research external, graduation internal",

school = "Vrije Universiteit Amsterdam",

}

TY - THES

T1 - What to Do Next?

T2 - Analysing and Optimising System Behaviour in Time

AU - Wijs, A.J.

PY - 2007

Y1 - 2007

KW - Model Checking

KW - scheduling

KW - state space searching

KW - timed branching bisimilarity

KW - timed process algebra

M3 - PhD-Thesis – Research external, graduation internal

SN - 9789064641749

T3 - IPA dissertation series

CY - Vrije Universiteit

ER -